github/melpa
1
0
Fork 0
mirror of https://github.com/correl/melpa.git synced 2024-12-23 19:19:51 +00:00
Code Issues Projects Releases Packages Wiki Activity
melpa/recipes/idris-mode

5 lines
101 B
Text
Raw Normal View History

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 09:58:44 +00:00
(idris-mode
:repo "idris-hackers/idris-mode"
:fetcher github
:files (:defaults "logo-small.png"))
Reference in a new issue Copy permalink