diff options
author | Sergei Golubchik <serg@mariadb.org> | 2017-03-05 20:51:31 +0100 |
---|---|---|
committer | Sergei Golubchik <serg@mariadb.org> | 2017-03-10 18:21:25 +0100 |
commit | 2b1bbac5fa881b8e135dbad3e0ff6b9e2763e24d (patch) | |
tree | e4083530fbd1a4fc8503b15f47cdd74d42af7bde /support-files/db.opt | |
parent | aa51b559abec01eca9f5a7628e4fe0a106ee8e52 (diff) | |
download | mariadb-git-2b1bbac5fa881b8e135dbad3e0ff6b9e2763e24d.tar.gz |
cleanup: remove a duplicate file
Diffstat (limited to 'support-files/db.opt')
0 files changed, 0 insertions, 0 deletions