Remove (unmaintained) helm-idris package

2018-08-25 16:22:04 +02:00 · 2018-08-25 16:22:04 +02:00 · fb5d1ae739
commit fb5d1ae739
parent e64b8322a4
2 changed files with 0 additions and 6 deletions
--- a/modules/lang/idris/config.el
+++ b/modules/lang/idris/config.el
@ -17,7 +17,3 @@
        :n "m" #'idris-add-missing
        :n "p" #'idris-proof-search
        :n "h" #'idris-docs-at-point))
-
-;; TODO get this working
-(def-package! helm-idris
-  :after idris-mode)