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

Merge with old maria tree

This commit is contained in:
Michael Widenius
2009-02-01 14:02:29 +02:00
4 changed files with 15 additions and 2 deletions

View File

@@ -178,7 +178,6 @@ our @opt_extra_mysqltest_opt;
our $opt_compress;
our $opt_ssl;
our $opt_skip_ssl;
our $opt_ssl_supported;
our $opt_ps_protocol;
our $opt_sp_protocol;