add theo lecture submodule

5 lat temu · 6719e094c9
--- a/.gitmodules
+++ b/.gitmodules
@@ -4,3 +4,6 @@
 [submodule "sose2020/num/hdnum"]
 	path = sose2020/num/hdnum
 	url = https://parcomp-git.iwr.uni-heidelberg.de/Teaching/hdnum
 [submodule "ws2020/theo/lectures"]
 	path = ws2020/theo/lectures
 	url = gitea:christian/theo-lecture
--- a/ws2020/theo/lectures
+++ b/ws2020/theo/lectures
@@ -0,0 +1 @@
 Subproject commit c730c108521ad79dee38201b3059a7ccfd97fb1b