misc/database-layout.dump, bin/bootstrap-mysql: drop unnecessary procedures - builder

diff options

author	Erich Eckner <git@eckner.net>	2019-08-06 10:15:52 +0200
committer	Erich Eckner <git@eckner.net>	2019-08-06 10:15:52 +0200
commit	e79888f1da097f23619f9b1667607d2898eb34e8 (patch)
tree	369d8efdc9bee12e1ff0c1d4305f8adb17a9dd98 /bin/sanity-check
parent	1057764d68f13ad3f09d58c249fcee644a8d5850 (diff)

misc/database-layout.dump, bin/bootstrap-mysql: drop unnecessary procedures

Diffstat (limited to 'bin/sanity-check')

0 files changed, 0 insertions, 0 deletions