This website requires JavaScript.
Explore
Help
Sign In
github
/
melpa
Watch
1
Star
0
Fork
You've already forked melpa
0
mirror of
https://github.com/correl/melpa.git
synced
2024-12-24 11:50:42 +00:00
Code
Issues
Projects
Releases
Packages
Wiki
Activity
6176257e00
melpa
/
recipes
/
idris-mode
5 lines
101 B
Text
Raw
Normal View
History
Unescape
Escape
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