Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Don't enable the -with-relative-paths-at in opam
At present - with switches which cannot be moved anyway - this adds a potential source of brittleness to opam switches without bringing any benefit.
- Loading branch information