idris-lang/Idris-dev — pull request #1135 by david-christiansen (2014-04-30 13:08:13+00:00)
Title: Fixes while working with Nicola

So far: allow comments in .ipkg files