summaryrefslogtreecommitdiff
path: root/tools/mkmondo
diff options
context:
space:
mode:
Diffstat (limited to 'tools/mkmondo')
-rwxr-xr-xtools/mkmondo7
1 files changed, 0 insertions, 7 deletions
diff --git a/tools/mkmondo b/tools/mkmondo
deleted file mode 100755
index bf0e965c..00000000
--- a/tools/mkmondo
+++ /dev/null
@@ -1,7 +0,0 @@
-#!/bin/sh
-
-if [ ! -f tools/mondo.dat ]; then
- for i in $(seq 1 250) ; do
- cat tools/standard.dat >> tools/mondo.dat
- done
-fi