Skip to content

Commit

Permalink
fix(doc): Fix README links after #1176
Browse files Browse the repository at this point in the history
Fixes #1196
  • Loading branch information
bclement-ocp committed Aug 6, 2024
1 parent 8e61ced commit cf5b9b3
Showing 1 changed file with 4 additions and 4 deletions.
8 changes: 4 additions & 4 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -46,11 +46,11 @@ See [Alt-Ergo @ OCamlPro] or contact us at [[email protected]] for more deta
[[email protected]]: mailto:[email protected]
[Alt-Ergo @ OCamlPro]: https://alt-ergo.ocamlpro.com/#services
[Alt-Ergo Users' Club]: https://alt-ergo.ocamlpro.com/#club
[API documentation]: https://ocamlpro.github.io/alt-ergo/API/index.html
[contributing guidelines]: https://ocamlpro.github.io/alt-ergo/Dev/contributing.html
[developers documentation]: https://ocamlpro.github.io/alt-ergo/Dev/index.html
[API documentation]: https://ocamlpro.github.io/alt-ergo/latest/API/index.html
[contributing guidelines]: https://ocamlpro.github.io/alt-ergo/latest/Dev/contributing.html
[developers documentation]: https://ocamlpro.github.io/alt-ergo/latest/Dev/index.html
[general documentation]: https://ocamlpro.github.io/alt-ergo/
[installation instructions]: https://ocamlpro.github.io/alt-ergo/Install/index.html
[installation instructions]: https://ocamlpro.github.io/alt-ergo/latest/Install/index.html
[https://alt-ergo.ocamlpro.com]: https://alt-ergo.ocamlpro.com
[latest]: https://alt-ergo.ocamlpro.com/http/alt-ergo-2.3.2/alt-ergo-2.3.2.tar.gz
[LRI]: https://www.lri.fr
Expand Down

0 comments on commit cf5b9b3

Please sign in to comment.