1
0
mirror of https://github.com/MariaDB/server.git synced 2025-08-07 00:04:31 +03:00
This commit is contained in:
Sergei Golubchik
2015-06-16 11:00:33 +02:00
parent d71d411905
commit 3c3724991e
17 changed files with 16 additions and 26 deletions

View File

@@ -1,5 +1,5 @@
# Making sure not to run when ps-protocol is set.
--source ../include/no_protocol.inc
--source include/no_protocol.inc
--echo ####################################
--echo # SETUP