1
0
Fork 0
mirror of https://github.com/correl/melpa.git synced 2024-12-22 19:17:27 +00:00
melpa/recipes/idris-mode
2013-11-28 15:37:39 -08:00

1 line
62 B
Text

(idris-mode :repo "idris-hackers/idris-mode" :fetcher github)