idris-hackers/idris-mode — pull request #264 by david-christiansen (2014-10-30 05:31:26+00:00)
Title: Remove extra autoload cookie

This is reported to cause problems for one user, and it's hard to see
how it could be useful without having had the mode loaded anyway.

Fixes #258.