diff --git a/.gitmodules b/.gitmodules new file mode 100644 index 0000000000000000000000000000000000000000..e2d06b0c8dc14dd1a5e6511d6da38e81d805f8bc --- /dev/null +++ b/.gitmodules @@ -0,0 +1,3 @@ +[submodule "llama"] + path = llama + url = git@gitlab.inria.fr:gkovac/llama.git diff --git a/llama b/llama new file mode 160000 index 0000000000000000000000000000000000000000..57b0eb62de0636e75af471e49e2f1862d908d9d8 --- /dev/null +++ b/llama @@ -0,0 +1 @@ +Subproject commit 57b0eb62de0636e75af471e49e2f1862d908d9d8