conex PR merged
This commit is contained in:
parent
9809b49911
commit
98e0847a1b
1 changed files with 0 additions and 2 deletions
|
@ -127,11 +127,9 @@ Each resource can be approved in multiple versions at the same time.
|
|||
### Installation
|
||||
|
||||
TODO: remove clone once [PR 8494](https://github.com/ocaml/opam-repository/pull/8494) is merged.
|
||||
TODO: remove pin once [PR 8493](https://github.com/ocaml/opam-repository/pull/8493) is merged.
|
||||
|
||||
```bash
|
||||
$ git clone -b auth https://github.com/hannesm/opam-repository.git repo
|
||||
$ opam pin add conex https://github.com/hannesm/conex.git
|
||||
$ opam install conex
|
||||
$ cd repo
|
||||
```
|
||||
|
|
Loading…
Reference in a new issue