melpa/recipes/helm-idris

3 lines
68 B
Text
Raw Permalink Normal View History

2014-07-18 19:30:43 +00:00
(helm-idris
:fetcher github
:repo "david-christiansen/helm-idris")