melpa/recipes/idris-mode
David Raymond Christiansen c73b44f95d Add the Idris logo to the idris-mode package recipe
The logo is shown at REPL startup, so it needs to be in the package.
2015-02-16 10:58:44 +01:00

4 lines
101 B
Text

(idris-mode
:repo "idris-hackers/idris-mode"
:fetcher github
:files (:defaults "logo-small.png"))