rav: add new ravlecture submodule

3 vuotta sitten · b9afb52c4b
--- a/.gitmodules
+++ b/.gitmodules
@@ -10,3 +10,6 @@
 [submodule "ws2020/wtheo/uebungen"]
 	path = ws2020/wtheo/uebungen
 	url = https://git.flavigny.de/christian/wtheo-zettel
 [submodule "ws2022/rav/lecture"]
 	path = ws2022/rav/lecture
 	url = git@git.mathi.uni-heidelberg.de:cmerten/ravlecture
--- a/ws2022/rav/lecture
+++ b/ws2022/rav/lecture
@@ -0,0 +1 @@
 Subproject commit 868e4cab60566f5d8dfaeb565c65f4041751c40a