Cleanup
authorDavid Cock <david.cock@inf.ethz.ch>
Fri, 21 Aug 2015 12:29:41 +0000 (14:29 +0200)
committerDavid Cock <david.cock@inf.ethz.ch>
Fri, 21 Aug 2015 12:29:41 +0000 (14:29 +0200)
commitac23140905f26b1860f0a44e9587e2a279bc1512
tree50804320cc11aa83775d08fdea27525b66ddaf07
parent482fe90bb93eb51a75ef206ecb3a38e713bc529b
Cleanup

Signed-off-by: David Cock <david.cock@inf.ethz.ch>
hake/HakeTypes.hs
hake/Main.hs
hake/hake.sh