1
0
mirror of https://github.com/MariaDB/server.git synced 2025-08-07 00:04:31 +03:00

Fixes to previous changeset

get_defaults_file() -> get_defaults_options()
This commit is contained in:
monty@mishka.local
2005-07-18 20:05:30 +03:00
parent 2278e0319c
commit 21ae963205
3 changed files with 2 additions and 3 deletions

View File

@@ -150,5 +150,5 @@ EXPORTS
mysql_server_end
mysql_set_character_set
mysql_get_character_set_info
get_defaults_files
get_defaults_options
modify_defaults_file