1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-30 16:24:05 +03:00

Fix merge & update result file.

This commit is contained in:
anozdrin/alik@alik.opbmk
2007-02-23 23:36:25 +03:00
parent fe585401ed
commit 50e5958f28
2 changed files with 3 additions and 1 deletions

View File

@ -19,6 +19,7 @@ language VALUE
character-sets-dir VALUE
basedir VALUE
server_id VALUE
shutdown-delay VALUE
skip-stack-trace VALUE
skip-innodb VALUE
skip-ndbcluster VALUE
@ -37,6 +38,7 @@ language VALUE
character-sets-dir VALUE
basedir VALUE
server_id VALUE
shutdown-delay VALUE
skip-stack-trace VALUE
skip-innodb VALUE
skip-ndbcluster VALUE