git.iko.soy/Idris-dev
on master help sign in
Merge pull request #1157 from PhilipRasmussen/patch-1

Inserted a newline in which seemed to be missing in the usage message.

commitbd51b18b48d299dec421b344a1e39a1796bde554 authorDavid Christiansen <david@davidchristiansen.dk> dateThu 1 May 2014, 19:01 (12 years ago) parent441794307a002f
1 file changed+1−1
compare with master
unifiedsplit
main/Main.hs+1−1
main/Main.hs+1−1
@@ -100,7 +100,7 @@ usagemsg = usagemsghdr ++ "\n" ++
100100 "\t --clean IPKG Clean package\n" ++
101101 "\t --build IPKG Build package\n" ++
102102 "\t --mkdoc IPKG Generate IdrisDoc for package\n" ++
103− "\t -e --eval EXPR Evaluate an expression without loading the REPL" ++
103+ "\t -e --eval EXPR Evaluate an expression without loading the REPL\n" ++
104104 "\t --exec EXPR Execute as idris\n" ++
105105 "\t --libdir Display library directory\n" ++
106106 "\t --link Display link flags\n" ++