diff options
author | Rob Austein <sra@hactrn.net> | 2019-01-08 11:21:04 -0500 |
---|---|---|
committer | Rob Austein <sra@hactrn.net> | 2019-01-08 11:22:56 -0500 |
commit | fe9cb57825caef2dd743ee58e04d2b4077ede332 (patch) | |
tree | 3589affffe67f949d9c4806b32174c112c4f67e1 /.gitmodules | |
parent | 4bda11c348064ca2a59aa67ce0539899eefed483 (diff) |
Add Pavel's utility library.
Diffstat (limited to '.gitmodules')
-rw-r--r-- | .gitmodules | 3 |
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 |