Remove file accidentally added to Karel's patch
authorManuel M T Chakravarty <chak@cse.unsw.edu.au>
Mon, 22 Aug 2011 00:49:15 +0000 (10:49 +1000)
committerManuel M T Chakravarty <chak@cse.unsw.edu.au>
Mon, 22 Aug 2011 00:49:15 +0000 (10:49 +1000)
resume [deleted file]

diff --git a/resume b/resume
deleted file mode 100644 (file)
index d137513..0000000
--- a/resume
+++ /dev/null
@@ -1,2 +0,0 @@
-libraries/random
-get