idris-hackers/idris-mode — pull request #129 by david-christiansen (2014-05-02 07:18:05+00:00)
Title: Be smarter about checking file locations

Fixes #128.