aboutsummaryrefslogtreecommitdiff
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
parent4bda11c348064ca2a59aa67ce0539899eefed483 (diff)
Add Pavel's utility library.
-rw-r--r--.gitmodules3
m---------source/core/lib0
2 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
diff --git a/source/core/lib b/source/core/lib
new file mode 160000
+Subproject fbcbd4218e2711da279d8097620a5b26637bf45