diff --git a/.gitmodules b/.gitmodules index 2926701..1959779 100644 --- a/.gitmodules +++ b/.gitmodules @@ -7807,3 +7807,6 @@ [submodule "ocaml-menhir"] path = ocaml-menhir url = ../../pool/ocaml-menhir +[submodule "389-ds"] + path = 389-ds + url = ../../ALP-pool/389-ds diff --git a/389-ds b/389-ds new file mode 160000 index 0000000..e91fee7 --- /dev/null +++ b/389-ds @@ -0,0 +1 @@ +Subproject commit e91fee79993f7600b58248d470085e6d015a27c2