1 commit

Author	SHA1	Message	Date
Timothy Jones	2f6a45f561	Rename the idris-lang layer to idris ... The idris-mode package has been updated to no longer use the idris-packages variable, which allows the Idris layer to safely be renamed to the standard for other languages.	2015-09-22 11:08:22 +02:00

Renamed from layers/+lang/idris-lang/packages.el (Browse further)