github/melpa
1
0
Fork 0
mirror of https://github.com/correl/melpa.git synced 2025-03-15 01:06:29 -09:00
Code Issues Projects Releases Packages Wiki Activity
5564 commits 4 branches 0 tags 5.3 MiB
Commit graph

2 commits

Author SHA1 Message Date
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
Sean Escriva
74b3a8ee29 add recipe for idris-mode 2013-11-28 15:37:39 -08:00