github/melpa
1
0
Fork 0
mirror of https://github.com/correl/melpa.git synced 2024-12-28 11:14:14 +00:00
Code Issues Projects Releases Packages Wiki Activity
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
Raw Blame History

(idris-mode
:repo "idris-hackers/idris-mode"
:fetcher github
:files (:defaults "logo-small.png"))
Reference in a new issue View git blame Copy permalink