idris-lang/Idris-dev — pull request #1157 by PhilipRasmussen (2014-05-01 16:03:03+00:00)
Title: 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.