update gitmodules

5 lat temu · 6e9e162e3e
--- a/.gitmodules
+++ b/.gitmodules
@@ -6,4 +6,4 @@
 	url = https://parcomp-git.iwr.uni-heidelberg.de/Teaching/hdnum
 [submodule "ws2020/theo/lectures"]
 	path = ws2020/theo/lectures
 	url = gitea:christian/theo-lecture
 	url = https://git.flavigny.de/christian/theo-lecture