Commit 238e3563 authored by Ralf Jung's avatar Ralf Jung
Browse files

link to server docs

parent 77c5ef34
......@@ -241,3 +241,8 @@ you have set up branch protection for the wildcard pattern `master*` in the
repository configuration!
[coqdoc]: https://plv.mpi-sws.org/coqdoc
## Backend
Some information about the servers that make this all work can
[be found here](srvr-doc.md).
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