update submodule url

5 anos atrás · 18c7494156
--- a/.gitmodules
+++ b/.gitmodules
@@ -1,3 +1,3 @@
 [submodule "sose2020/ana/lectures"]
 	path = sose2020/ana/lectures
 	url = gitea:christian/ana-lecture
 	url = https://git.flavigny.de/christian/ana-lecture