[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[nongnu] elpa/opam-switch-mode updated (5d7efc2acc -> 55d1add5f7)
From: |
ELPA Syncer |
Subject: |
[nongnu] elpa/opam-switch-mode updated (5d7efc2acc -> 55d1add5f7) |
Date: |
Mon, 10 Jul 2023 10:01:58 -0400 (EDT) |
elpasync pushed a change to branch elpa/opam-switch-mode.
from 5d7efc2acc docs: Create NEWS.md
new 0a0dfa84e1 fix: (opam-switch--reset-env) unexpectedly cleared
exec-path
new 2961d8669a fix: opam-switch-mode support for local switches
new 92e9974663 refactor: s/Opam-switch/OPSW/
new 55d1add5f7 Merge pull request #14 from ProofGeneral/improve
Summary of changes:
NEWS.md | 5 +++++
opam-switch-mode.el | 52 ++++++++++++++++++++++++++++++++++++----------------
2 files changed, 41 insertions(+), 16 deletions(-)
- [nongnu] elpa/opam-switch-mode updated (5d7efc2acc -> 55d1add5f7),
ELPA Syncer <=