From 2306aace499e1fedeb8d332d59add3fa7923932b Mon Sep 17 00:00:00 2001 From: Joshua Rahm Date: Sat, 26 Apr 2014 16:39:22 -0600 Subject: started documentation --- terralloc | 3 +++ 1 file changed, 3 insertions(+) create mode 100755 terralloc (limited to 'terralloc') diff --git a/terralloc b/terralloc new file mode 100755 index 0000000..386e9fc --- /dev/null +++ b/terralloc @@ -0,0 +1,3 @@ +#!/bin/bash + +dist/build/final/final +RTS -K3000000000 -RTS $@ -- cgit