Remove some files I accidentally added.
authorJose Pedro Magalhaes <jpm@cs.uu.nl>
Fri, 29 Apr 2011 16:49:00 +0000 (18:49 +0200)
committerJose Pedro Magalhaes <jpm@cs.uu.nl>
Fri, 29 Apr 2011 16:51:03 +0000 (18:51 +0200)
commit5c11ece98828b0f2ddae4e4b4df7b90b014effdc
tree6a76217c60d071b0c3ebb2d069261aaa896727e2
parent1cf00bfef1c35b89c21d1eaa9f6be7354a40f016
Remove some files I accidentally added.
tmp/Main [deleted file]
tmp/Main.hs [deleted file]