Parametrize dump-wikis.sh and backup mediawiki sites in dump-wikis.sh

[simantics/platform.git] / releng / doc / dump-mysql-db.sh

diff --git a/releng/doc/dump-mysql-db.sh b/releng/doc/dump-mysql-db.sh
old mode 100644 (file)
new mode 100755 (executable)