use util submodule
This commit is contained in:
parent
3f43538010
commit
1d8ce1aa7c
77 changed files with 4 additions and 18658 deletions
3
.gitmodules
vendored
3
.gitmodules
vendored
|
|
@ -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
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue