From 500bc67090d679424f8ad250d48a8f650630119f Mon Sep 17 00:00:00 2001 From: Louis Gesbert Date: Wed, 22 Dec 2021 15:23:14 +0100 Subject: [PATCH] a little doc --- doc/pages/Manual.md | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/doc/pages/Manual.md b/doc/pages/Manual.md index ca906e5be21..cb52a8c82b5 100644 --- a/doc/pages/Manual.md +++ b/doc/pages/Manual.md @@ -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. - `installed-switches: [ ... ]`: - 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. - `switch: `: the currently globally selected switch. - `jobs: `: