mirror of
https://github.com/MariaDB/server.git
synced 2025-01-17 20:42:30 +01:00
93c360e3a5
use_stat_tables= PREFERABLY optimizer_use_condition_selectivity= 4 |
||
---|---|---|
.. | ||
include | ||
r | ||
std_data | ||
t | ||
disabled.def | ||
suite.opt | ||
suite.pm |