Commit 0db9d151 authored by Ralf Jung's avatar Ralf Jung
Browse files

update updater URL

parent 0ab49e0f
......@@ -3,4 +3,4 @@
This OPAM repository provides development versions of Iris and related projects.
The versions here are automatically created when things are pushed to the
respective repositories. The updater and all documentation lives at
<https://gitlab.mpi-sws.org/FP/opam-updater> (this is a private project).
<https://gitlab.mpi-sws.org/iris/opam-updater> (this is a private project).
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment