From f57e99be6fc95d5e2ac2de01dbd81c78c91249d6 Mon Sep 17 00:00:00 2001
From: Thomas Levine <_@thomaslevine.com>
Date: Wed, 5 Nov 2014 16:52:13 +0000
Subject: [PATCH] we're not maintaining the history, and i don't care

---
 HISTORY | 18 ------------------
 1 file changed, 18 deletions(-)
 delete mode 100644 HISTORY

diff --git a/HISTORY b/HISTORY
deleted file mode 100644
index b2a739e..0000000
--- a/HISTORY
+++ /dev/null
@@ -1,18 +0,0 @@
-History
-======
-
-
-Not done
-------
-We made the colors brighter.
-
-We allowed for multiple tests to be written in a file
-
-We added flags for verbosity and for Molly guards
-
-Done
------
-
-We adjusted the input parameters so it is harder to accidentally run all executable files in your home directory.
-
-We added directory-based indents.