aboutsummaryrefslogtreecommitdiff
path: root/.gitmodules
diff options
context:
space:
mode:
Diffstat (limited to '.gitmodules')
-rw-r--r--.gitmodules3
1 files changed, 3 insertions, 0 deletions
diff --git a/.gitmodules b/.gitmodules
index bf47852..ffde00b 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -1,3 +1,6 @@
[submodule "deps/conts"]
path = deps/conts
url = https://metanimi.dy.fi/git/conts
+[submodule "deps/covsrv"]
+ path = deps/covsrv
+ url = https://metanimi.dy.fi/cgit/covsrv