1
0
mirror of https://github.com/MariaDB/server.git synced 2025-09-02 09:41:40 +03:00

Merge production.mysql.com:/usersnfs/rburnett/tmp_merge2

into  production.mysql.com:/usersnfs/rburnett/mysql-5.1
This commit is contained in:
rburnett@production.mysql.com
2006-09-06 18:27:26 +02:00
3 changed files with 10 additions and 1 deletions

View File

@@ -164,3 +164,4 @@ EXPORTS
my_charset_bin
my_charset_same
modify_defaults_file
mysql_set_server_option