From 5afc4c3770380bd653168772c79008959dfc125f Mon Sep 17 00:00:00 2001 From: John Wiegley Date: Sat, 28 Feb 2009 06:18:21 -0400 Subject: Reorganized some files in tools/ and test/ --- tools/mkmondo | 7 ------- 1 file changed, 7 deletions(-) delete mode 100755 tools/mkmondo (limited to 'tools/mkmondo') 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 -- cgit v1.2.3