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
