use util submodule

ad-freiburg · Oct 6, 2023 · 1d8ce1a · 1d8ce1a
1 parent 3f43538
commit 1d8ce1a
Show file tree

Hide file tree

Showing 77 changed files with 4 additions and 18,658 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -7,3 +7,6 @@
 [submodule "src/configparser"]
 	path = src/configparser
 	url = https://git.patrickbrosi.de/patrick/configparser
+[submodule "src/util"]
+	path = src/util
+	url = https://github.com/ad-freiburg/util
diff --git a/src/util b/src/util