[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[nongnu] elpa/opam-switch-mode updated (ac9ef486e6 -> 1a787e286a)
From: |
ELPA Syncer |
Subject: |
[nongnu] elpa/opam-switch-mode updated (ac9ef486e6 -> 1a787e286a) |
Date: |
Tue, 20 Jun 2023 13:00:39 -0400 (EDT) |
elpasync pushed a change to branch elpa/opam-switch-mode.
from ac9ef486e6 docs(README.md): Improve details
new 22b852a8a4 Minor tweaks and cleanups
new c6ccd5c2da (opam-switch-set-switch): Rename from
`opam-switch--set-switch`
new 578695619c opam-switch-mode.el: Capitalize to follow conventions
new 1a787e286a Merge pull request #10 from ProofGeneral/scratch/stefan
Summary of changes:
.gitignore | 3 +++
README.md | 15 ++++++++---
opam-switch-mode.el | 74 +++++++++++++++++++++++++----------------------------
3 files changed, 50 insertions(+), 42 deletions(-)
create mode 100644 .gitignore
- [nongnu] elpa/opam-switch-mode updated (ac9ef486e6 -> 1a787e286a),
ELPA Syncer <=