fix missing port in link

This commit is contained in:
Maximilian Keßler 2022-03-11 08:55:26 +01:00
parent 7a335e3b73
commit 863696fffd

View file

@ -11,8 +11,8 @@ The repositories home is on [gitlab.maximilian-kessler.de][4] currently,
but might be further moved since this GitLab instance is experimentally.
It will be mirrored on [gitlab.com][5] meanwhile.
[1]: https://mathecamp.pages.maximilian-kessler.de/kategorientheorie/2020_Kategorientheorie.pdf
[2]: https://mathecamp.pages.maximilian-kessler.de/kategorientheorie/2020_Kategorientheorie.log
[3]: https://mathecamp.pages.maximilian-kessler.de/kategorientheorie/
[1]: https://mathecamp.pages.maximilian-kessler.de:9999/kategorientheorie/2020_Kategorientheorie.pdf
[2]: https://mathecamp.pages.maximilian-kessler.de:9999/kategorientheorie/2020_Kategorientheorie.log
[3]: https://mathecamp.pages.maximilian-kessler.de:9999/kategorientheorie/
[4]: https://gitlab.maximilian-kessler.de:9999/mathecamp/kategorientheorie
[5]: https://gitlab.com/latexci/mathecamp/kategorientheorie