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:21:04 -0500 |
| commit | 3a9dd660e8d286ed4b1d2b63759ad1c65bc2ccca (patch) | |
| tree | beb870a07c7f1f1bc7cc9c028b9cad684a726230 /.gitmodules | |
| parent | 29e5a51f23392c69fef1a7cafbc1f33c8514b8c3 (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 aaab9b4..246be85 100644 --- a/.gitmodules +++ b/.gitmodules @@ -70,3 +70,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 |