[nongnu] main 408fefe: * elpa-packages (proof-general): New package

[Stefan Monnier]

branch: main
commit 408fefef5b0ee67f9134a64a28fe2966a8eae7e2
Author: Stefan Monnier <monnier@iro.umontreal.ca>
Commit: Stefan Monnier <monnier@iro.umontreal.ca>

    * elpa-packages (proof-general): New package
---
 elpa-packages | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/elpa-packages b/elpa-packages
index 452374a..4a55399 100644
--- a/elpa-packages
+++ b/elpa-packages
@@ -135,6 +135,10 @@
   :ignored-files ("doc" "test")
   :news "CHANGELOG.md")
 
+ ("proof-general"      :url "https://github.com/ProofGeneral/PG";
+  :ignored-files ("ci")
+  :news "CHANGES")
+
  ("request"            :url "https://github.com/tkf/emacs-request";
   :ignored-files ("tests" "doc" "COPYING"))