Closed erikmd closed 1 year ago
FYI I took the opportunity to document opam-switch-mode in the README (there is a dedicated section for other modes):
( Sorry, I could have done this in my earlier PR #307 )
FYI I took the opportunity to document opam-switch-mode in the README (there is a dedicated section for other modes):
Merci Erik, installed,
Stefan
@monnier
Merci Erik,
👍 de même, merci pour le cherry-pick.
Now closing the PR.
This makes it possible to:
opam-switch-mode
as a recommended, albeit optional dependency