Add a "timeout" command-line argument.
authorMichael Orlitzky <michael@orlitzky.com>
Tue, 3 Sep 2013 15:19:15 +0000 (11:19 -0400)
committerMichael Orlitzky <michael@orlitzky.com>
Tue, 3 Sep 2013 15:19:15 +0000 (11:19 -0400)
commitf9610a6d357f2ed79f2f18baa477244970f8b40f
tree9d4edb4f0ace0f8cb6230c11918dc89ec1844971
parent95bd7958d5a3483ba2cbe232765138a7785b2429
Add a "timeout" command-line argument.
doc/man1/haeredes.1
haeredes.cabal
src/CommandLine.hs
src/Main.hs
src/Timeout.hs [new file with mode: 0644]