[nongnu] main c5b2484 08/19: * elpa-packages (idris-mode): Add package

[Philip Kaludercic]

branch: main
commit c5b248411c3081c7f17d4013f9f7e29e0e34fd04
Author: Philip Kaludercic <philipk@posteo.net>
Commit: Philip Kaludercic <philipk@posteo.net>

    * 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"))