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

dead code in versioning/common.inc

This commit is contained in:
Sergei Golubchik
2018-02-26 18:33:46 +01:00
parent 35678c9572
commit 7dcf1b5049
2 changed files with 0 additions and 28 deletions

View File

@ -1,9 +1,6 @@
--disable_query_log
drop procedure verify_vtq;
drop procedure verify_vtq_dummy;
drop function sys_commit_ts;
drop procedure concat_exec2;
drop procedure concat_exec3;
drop function current_row;
drop function check_row;
--enable_query_log