add batch mode flag
authorAnders Mörtberg <andersmortberg@gmail.com>
Tue, 5 Jul 2016 12:09:46 +0000 (14:09 +0200)
committerAnders Mörtberg <andersmortberg@gmail.com>
Tue, 5 Jul 2016 12:09:46 +0000 (14:09 +0200)
commit26f8d9c480bdcf6fd972a519cbb29b58ae88cba9
tree1e0175efed6936d7c92620e4f4840b1493104f38
parent7840f7691e49ae3c65f840f1817bd24461c1159c
add batch mode flag
Main.hs