github/melpa
1
0
Fork 0
mirror of https://github.com/correl/melpa.git synced 2024-12-18 11:06:10 +00:00
Code Issues Projects Releases Packages Wiki Activity

add recipe for idris-mode

Browse source
This commit is contained in:
Sean Escriva 2013-11-28 15:37:39 -08:00
parent ff0f76632d
commit 74b3a8ee29
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
recipes/idris-mode Normal file
View file

@ -0,0 +1 @@
(idris-mode :repo "idris-hackers/idris-mode" :fetcher github)