1
0
mirror of https://github.com/MariaDB/server.git synced 2025-08-08 11:22:35 +03:00

remove unused file and unnecessary #include

This commit is contained in:
Sergei Golubchik
2015-05-01 18:53:18 +02:00
parent 93c563d37b
commit e1e1f94f47
2 changed files with 0 additions and 69 deletions

View File

@@ -57,7 +57,6 @@
#include "lock.h" // mysql_lock_remove
#include "sql_show.h" // append_identifier
#include <m_ctype.h>
#include "my_md5.h"
#include "transaction.h"
#include "debug_sync.h"