edwinb/Idris-dev — pull request #181 by raichoo (2013-02-11 18:34:01+00:00)
Title: trivial patch: load should ignore trailing whitespaces

This becomes handy with the completion patches by david-christiansen.