Cleans up the tools folder (#2171)

2017-07-29 01:50:56 -05:00
parent 8df718a587
commit cee5ab815a
2 changed files with 0 additions and 15 deletions
@@ -1,15 +0,0 @@
-#!/bin/bash
-if [ -n "$1" ]
-then
-    dme=$1
-else
-    echo "Specify a DME to check"
-    exit 1
-fi
-
-if [[ $(awk '/BEGIN_FILE_DIR/{flag=1;next}/END_FILE_DIR/{flag=0}flag' $dme | wc -l) -ne 1 ]]
-then
-    echo "File DIR was ticked, please untick it, see: https://tgstation13.org/phpBB/viewtopic.php?f=5&t=321 for more"
-    exit 1
-fi
-