When there are no <pkg>.opam files in parent directories, use the whole workspace as scope |
||
---|---|---|
.. | ||
jbuild | ||
manual.org | ||
quick-start.org |
When there are no <pkg>.opam files in parent directories, use the whole workspace as scope |
||
---|---|---|
.. | ||
jbuild | ||
manual.org | ||
quick-start.org |