Replaced old hake
authorDavid Cock <david.cock@inf.ethz.ch>
Tue, 18 Aug 2015 07:24:19 +0000 (09:24 +0200)
committerDavid Cock <david.cock@inf.ethz.ch>
Tue, 18 Aug 2015 07:24:19 +0000 (09:24 +0200)
commit8c286e59ab0913c0827954210ae6daab52c11bf0
tree398043fe6d3251944908ff15377a5408ecfb6a92
parent2344a661f9c23c73358fc92dc5f4fbfe9ad7d3be
Replaced old hake

Signed-off-by: David Cock <david.cock@inf.ethz.ch>
hake/Hake2.hs [deleted file]
hake/Hakefile
hake/Main.hs
hake/hake.sh