- Add the notes Samir emailed me on 2008-07-06.

[match/match.git] / run

diff --git a/run b/run
deleted file mode 100755 (executable)
index 7fd903d..0000000
--- a/run
+++ /dev/null
@@ -1,2 +0,0 @@
-#!/bin/bash
-make && exec ghci Test "$@"