mirror of
https://github.com/dimitri/el-get.git
synced 2024-09-30 05:29:52 +08:00
7 lines
228 B
Plaintext
7 lines
228 B
Plaintext
|
(:name idris-mode
|
||
|
|
:website "https://github.com/idris-hackers/idris-mode"
|
||
|
|
:description "Major mode for the Idris language"
|
||
|
|
:type github
|
||
|
|
:pkgname "idris-hackers/idris-mode"
|
||
|
|
:features idris-mode)
|