aboutsummaryrefslogtreecommitdiff
path: root/.gitmodules
diff options
context:
space:
mode:
authorRob Austein <sra@hactrn.net>2019-01-08 11:21:04 -0500
committerRob Austein <sra@hactrn.net>2019-01-08 11:22:56 -0500
commitfe9cb57825caef2dd743ee58e04d2b4077ede332 (patch)
tree3589affffe67f949d9c4806b32174c112c4f67e1 /.gitmodules
parent4bda11c348064ca2a59aa67ce0539899eefed483 (diff)
Add Pavel's utility library.
Diffstat (limited to '.gitmodules')
-rw-r--r--.gitmodules3
1 files changed, 3 insertions, 0 deletions
diff --git a/.gitmodules b/.gitmodules
index df422da..1e634e3 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -73,3 +73,6 @@
[submodule "source/core/platform/common"]
path = source/core/platform/common
url = https://git.cryptech.is/core/platform/common.git
+[submodule "source/core/lib"]
+ path = source/core/lib
+ url = https://git.cryptech.is/core/lib.git