Rename “Minimal development test” to “Development Test” (#9928)

2020-05-26 00:17:52 +02:00
parent b546e8938d
commit 083b285f43
371 changed files with 25 additions and 25 deletions
--- a/util/test_multiplayer.sh
+++ b/util/test_multiplayer.sh
@@ -1,6 +1,6 @@
 #!/bin/bash
 dir="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
-gameid=minimal
+gameid=devtest
 minetest=$dir/../bin/minetest
 testspath=$dir/../tests
 worldpath=$testspath/testworld_$gameid