mirror of
https://github.com/ilyakooo0/Idris-dev.git
synced 2024-10-26 18:02:24 +03:00
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.
This commit is contained in:
parent
a726ae7012
commit
07a002fe47
@ -100,7 +100,7 @@ usagemsg = usagemsghdr ++ "\n" ++
|
||||
"\t --clean IPKG Clean package\n" ++
|
||||
"\t --build IPKG Build package\n" ++
|
||||
"\t --mkdoc IPKG Generate IdrisDoc for package\n" ++
|
||||
"\t -e --eval EXPR Evaluate an expression without loading the REPL" ++
|
||||
"\t -e --eval EXPR Evaluate an expression without loading the REPL\n" ++
|
||||
"\t --exec EXPR Execute as idris\n" ++
|
||||
"\t --libdir Display library directory\n" ++
|
||||
"\t --link Display link flags\n" ++
|
||||
|
Loading…
Reference in New Issue
Block a user