~brettgilio/orcircd-opam

ac0b1d52d7c8a1315ccc77371765466529187fce — Brett Gilio 1 year, 4 days ago 9e543e0
Correct redundancy in README
2 files changed, 8 insertions(+), 16 deletions(-)

M README.md
M docs/README.org
M README.md => README.md +4 -8
@@ 45,14 45,10 @@ Next, add the repository.
`$ opam repo add orcircd-opam https://orcircd.org/opam/development`

Now set `orcircd-opam`’s priority to be higher than the `default`
repository priority. If you have more than two repositories (after
adding `orcircd-opam`) you will need to adjust the syntax below
accordingly.

This priority may be correctly set already. You can evaluate
`$ opam repo` to confirm or deny this condition. If the priority
of `orcircd-opam` is not set above `default`, you can adjust the
priority by replacing `<n>` with the correct value.
repository priority. This priority may be correctly set already.
You can evaluate `$ opam repo` to confirm or deny this condition.
If the priority of `orcircd-opam` is not set above `default`,
you can adjust the priority by replacing `<n>` with the correct value.

`$ opam repo priority orcircd-opam <n>`


M docs/README.org => docs/README.org +4 -8
@@ 45,14 45,10 @@ Next, add the repository.
=$ opam repo add orcircd-opam https://orcircd.org/opam/development=

Now set =orcircd-opam='s priority to be higher than the =default=
repository priority. If you have more than two repositories (after
adding =orcircd-opam=) you will need to adjust the syntax below
accordingly.

This priority may be correctly set already. You can evaluate
=$ opam repo= to confirm or deny this condition. If the priority
of =orcircd-opam= is not set above =default=, you can adjust the
priority by replacing =<n>= with the correct value.
repository priority. This priority may be correctly set already.
You can evaluate =$ opam repo= to confirm or deny this condition.
If the priority of =orcircd-opam= is not set above =default=,
you can adjust the priority by replacing =<n>= with the correct value.

=$ opam repo priority orcircd-opam <n>=