1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-29 05:21:33 +03:00

Remove unused variable

This commit is contained in:
unknown
2007-08-14 11:10:23 +02:00
parent 53587e3e64
commit 80aa720a89

View File

@ -233,7 +233,6 @@ my $opt_report_features;
our $opt_check_testcases;
our $opt_mark_progress;
our $opt_skip;
our $opt_skip_rpl;
our $max_slave_num= 0;
our $max_master_num= 1;