"README.txt" did not exist on "ab0fb483accac6e2ff85e7b8cde42f3388e62e7d"
- Jun 17, 2022
-
-
Martin Christoph Hierholzer authored
-
- Mar 15, 2021
-
-
Martin Killenberg authored
-
- Aug 30, 2018
-
-
Jens Georg authored
Not adding the repository as a remote simply makes it impossible to push to it. Also this makes it mandatory to always fetch the changes from the remote anyway since it is not locally mirrored.
-
- Jul 18, 2018
-
-
Martin Christoph Hierholzer authored