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.
This commit is contained in:
David Raymond Christiansen 2015-02-16 10:58:44 +01:00
parent d8bcf68d54
commit c73b44f95d

View file

@ -1 +1,4 @@
(idris-mode :repo "idris-hackers/idris-mode" :fetcher github)
(idris-mode
:repo "idris-hackers/idris-mode"
:fetcher github
:files (:defaults "logo-small.png"))