summaryrefslogtreecommitdiffhomepage
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 dc164d4..ee1a089 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -13,3 +13,6 @@
[submodule "docs/openknowledge"]
path = docs/openknowledge
url = git@github.com:nekernel-org/openknowledge.git
+[submodule "lib/libocl"]
+ path = lib/libocl
+ url = git@github.com:amlel-el-mahrouss/ocl.git