mirror of
https://github.com/dimitri/el-get.git
synced 2024-09-29 13:08:51 +08:00
59f3f185e2
Idris mode reqires prop-menu to be installed, but that package wasn't availablein el-get. This commit adds a recipe for prop-menu, and updates the idris-mode recipe to depend on prop-menu. close #2300
8 lines
256 B
Plaintext
8 lines
256 B
Plaintext
(:name idris-mode
|
|
:website "https://github.com/idris-hackers/idris-mode"
|
|
:description "Major mode for the Idris language"
|
|
:type github
|
|
:depends (prop-menu)
|
|
:pkgname "idris-hackers/idris-mode"
|
|
:features idris-mode)
|