1 files changed, 0 insertions, 3 deletions
diff --git a/terralloc b/terralloc
deleted file mode 100755
index 3280cbe..0000000
--- a/terralloc
+++ /dev/null
@@ -1,3 +0,0 @@
-#!/bin/bash
-
-PATH="$PATH:dist/build/terralloc.bin/" terralloc.bin +RTS -K3000000000 -RTS $@