Make bib a submodule

2023-10-06 14:42:16 +02:00
parent 0c17ec8a33
commit 2f177b5ea4
5 changed files with 5 additions and 17197 deletions
--- a/.gitmodules
+++ b/.gitmodules
@@ -0,0 +1,3 @@
+[submodule "bibliography"]
+	path = bibliography
+	url = git@git.cplx.vm.uni-freiburg.de:kebekus/bibliography.git