branch: main
commit c5b248411c3081c7f17d4013f9f7e29e0e34fd04
Author: Philip Kaludercic <[email protected]>
Commit: Philip Kaludercic <[email protected]>
* elpa-packages (idris-mode): Add package
---
elpa-packages | 7 +++++++
1 file changed, 7 insertions(+)
diff --git a/elpa-packages b/elpa-packages
index 251bf2d..84fa4fa 100644
--- a/elpa-packages
+++ b/elpa-packages
@@ -101,6 +101,10 @@
:ignored-files ("htmlize.el.html")
:release-branch "stable")
+ ("idris-mode" :url "https://github.com/idris-hackers/idris-mode";
+ :ignored-files ("test-data" "Makefile" "documentation.tex" "logo-small.png"
+ "idris-tests*.el"))
+
("inf-clojure" :url
"https://github.com/clojure-emacs/inf-clojure";
:ignored-files ("test")
:news "CHANGELOG.md")
@@ -167,6 +171,9 @@
:news "CHANGES"
:doc "doc/ProofGeneral.texi")
+ ("prop-menu" :url
"https://github.com/david-christiansen/prop-menu-el";
+ :ignored-files ("Makefile" "prop-menu-tests.el"))
+
("request" :url "https://github.com/tkf/emacs-request";
:ignored-files ("tests" "doc" "COPYING"))
