git.iko.soy/Idris-dev
on master help sign in
Inserted a newline which seamed to be missing.

Idris reported the help descriptions of '--eval' and '--exec' on the same line. This file change simply reinserts a newline to fix the display issue.

commit07a002fe477ec650ad31d4c82d3ed3a07e8b8f5b authorPhilip Rasmussen <philip.jon.rasmussen@gmail.com> dateThu 1 May 2014, 18:02 (12 years ago) parenta726ae7
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" ++