Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge pull request #1010 from ocsigen/do-not-use-depext-subcmd
Replace the deprecated opam depext subcommand with the install command
- Loading branch information