From 11f415361ee4666b4f6a0f071119e4b173bbe79f Mon Sep 17 00:00:00 2001 From: Thomas Levine Date: Wed, 10 Oct 2012 21:00:55 -0400 Subject: [PATCH] todo --- HISTORY | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/HISTORY b/HISTORY index 638c085..8ba6389 100644 --- a/HISTORY +++ b/HISTORY @@ -6,12 +6,13 @@ Not done ------ We made the colors brighter. -We added directory-based indents. - We allowed for multiple tests to be written in a file -We adjusted the input parameters so it is harder to accidentally run all executible files in your home directory. - +We added flags for verbosity and for Molly guards Done ----- + +We adjusted the input parameters so it is harder to accidentally run all executible files in your home directory. + +We added directory-based indents.