1
0
mirror of https://github.com/MariaDB/server.git synced 2025-12-24 11:21:21 +03:00

Automatic merge

This commit is contained in:
Michael Widenius
2012-02-21 09:37:56 +02:00

View File

@@ -1,4 +1,4 @@
-- source include/have_innodb_plugin.inc
--source include/have_innodb_plugin.inc
SET storage_engine=innodb;
--source include/gis_generic.inc
--source include/gis_keys.inc