1
0
mirror of https://github.com/MariaDB/server.git synced 2025-08-01 03:47:19 +03:00

Manual merge from mysql-5.1.

This commit is contained in:
Alexander Nozdrin
2009-11-05 12:20:41 +03:00
55 changed files with 854 additions and 298 deletions

View File

@ -0,0 +1,4 @@
--require r/case_insensitive_fs.require
--disable_query_log
show variables like 'lower_case_file_system';
--enable_query_log