emacs-elpa-diffs
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[nongnu] main 32858ef5e9: elpa-packages (opam-switch-mode): New package


From: Stefan Monnier
Subject: [nongnu] main 32858ef5e9: elpa-packages (opam-switch-mode): New package
Date: Mon, 14 Nov 2022 08:31:58 -0500 (EST)

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

    elpa-packages (opam-switch-mode): New package
---
 elpa-packages | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/elpa-packages b/elpa-packages
index b0dd9d3b32..03993e4173 100644
--- a/elpa-packages
+++ b/elpa-packages
@@ -410,6 +410,10 @@
 
  ("oblivion-theme"      :url 
"https://codeberg.org/ideasman42/emacs-theme-oblivion";)
 
+ ("opam-switch-mode"   :url "https://github.com/ProofGeneral/opam-switch-mode";
+  :ignored-files ("LICENSE")
+  :readme "README.md")
+
  ("org-auto-tangle" :url "https://github.com/yilkalargaw/org-auto-tangle";
   :readme "README.org"
   :ignored-files ("License.org"))



reply via email to

[Prev in Thread] Current Thread [Next in Thread]