mirror of
https://github.com/MariaDB/server.git
synced 2026-04-26 18:25:30 +02:00
after merge fix
This commit is contained in:
parent
4e15adf822
commit
fdf3c17534
4 changed files with 45 additions and 161 deletions
|
|
@ -80,7 +80,6 @@ enum options_client
|
|||
OPT_MYSQL_REPLACE_INTO, OPT_BASE64_OUTPUT, OPT_SERVER_ID,
|
||||
OPT_FIX_TABLE_NAMES, OPT_FIX_DB_NAMES, OPT_SSL_VERIFY_SERVER_CERT,
|
||||
OPT_DEBUG_INFO, OPT_DEBUG_CHECK, OPT_COLUMN_TYPES, OPT_ERROR_LOG_FILE,
|
||||
OPT_WRITE_BINLOG, OPT_MAX_CLIENT_OPTION,
|
||||
OPT_TZ_UTC, OPT_AUTO_CLOSE, OPT_SSL_VERIFY_SERVER_CERT,
|
||||
OPT_DEBUG_INFO, OPT_ERROR_LOG_FILE, OPT_DUMP_DATE
|
||||
OPT_WRITE_BINLOG, OPT_DUMP_DATE,
|
||||
OPT_MAX_CLIENT_OPTION
|
||||
};
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue