1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-27 18:02:13 +03:00

Remove duplicate "$report_features"

This commit is contained in:
msvensson@neptunus.(none)
2006-11-23 17:26:06 +01:00
parent 7053ef84bf
commit 8f85eaf925

View File

@ -223,9 +223,8 @@ our $opt_ndbcluster_port_slave;
our $opt_ndbconnectstring_slave;
our $opt_record;
our $opt_report_features;
my $opt_report_features;
our $opt_check_testcases;
my $opt_report_features;
our $opt_skip;
our $opt_skip_rpl;