Skip to content

Commit

Permalink
a little doc
Browse files Browse the repository at this point in the history
  • Loading branch information
AltGr committed Dec 22, 2021
1 parent ac19c21 commit 500bc67
Showing 1 changed file with 5 additions and 5 deletions.
10 changes: 5 additions & 5 deletions doc/pages/Manual.md
Original file line number Diff line number Diff line change
Expand Up @@ -1298,11 +1298,11 @@ them modified with [`opam option --global`](man/opam-option.html).
repositories themselves are set up using the
[repos-config](#reposconfigfield-repositories) file.
- <a id="configfield-installed-switches">`installed-switches: [ <string> ... ]`</a>:
lists the switches configured in this opam root, either internal or local.
Deleted local switches are collected by opam automatically, and it is possible
to use local switches that are not recorded in this field. It remains useful
for cross-switch listings, repository configuration updates, or opam format
migrations.
lists the switches configured in this opam root, either internal or local,
ordered by last-selected first. Deleted local switches are collected by opam
automatically, and it is possible to use local switches that are not recorded
in this field. It remains useful for cross-switch listings, repository
configuration updates, or opam format migrations.
- <a id="configfield-switch">`switch: <string>`</a>:
the currently globally selected switch.
- <a id="configfield-jobs">`jobs: <int>`</a>:
Expand Down

0 comments on commit 500bc67

Please sign in to comment.