diff options
author | Michael Widenius <monty@askmonty.org> | 2009-10-23 22:26:26 +0300 |
---|---|---|
committer | Michael Widenius <monty@askmonty.org> | 2009-10-23 22:26:26 +0300 |
commit | b9ea90b0640317295cbd50c826d319e26c73480f (patch) | |
tree | bdefff10d2b087b911f764afbcc5667d99f713d0 /support-files/config.medium.ini.sh | |
parent | b9f5aba8e44f8790366b51f98eec819f10ef65ab (diff) | |
parent | afd0a45639279c8de44f1358cc83c1f1b76ebb30 (diff) | |
download | mariadb-git-b9ea90b0640317295cbd50c826d319e26c73480f.tar.gz |
Automatic merge
Diffstat (limited to 'support-files/config.medium.ini.sh')
-rw-r--r--[-rwxr-xr-x] | support-files/config.medium.ini.sh | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/support-files/config.medium.ini.sh b/support-files/config.medium.ini.sh index e35dd35e455..e35dd35e455 100755..100644 --- a/support-files/config.medium.ini.sh +++ b/support-files/config.medium.ini.sh |