Commit 203dcc1d authored by Johannes Kiesel's avatar Johannes Kiesel
Browse files

Update README.md

parent 34bd1266
......@@ -331,7 +331,7 @@ Install the *Eclipse CVS Client* to use CVS in Eclipse:
If you run into troubles, check [how to fix Eclipse](#how-to-fix-eclipse-).
### How to use Docker?
See our [docker documentation](https://webis.de/facilities.html?q=docker) and the [official tutorial](https://docs.docker.com/get-started/).
See our [docker repository and documentation](https://webis.de/facilities.html?q=docker) and the [official tutorial](https://docs.docker.com/get-started/).
### How to use GIT?
See our [gitlab notes](https://webis.de/facilities.html?q=gitlab)
......
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