From 0970f55e422fbd5b5b93b1df29cd490d1aede5b3 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Adrian=20Schr=C3=B6ter?= Date: Wed, 12 Jul 2023 09:10:06 +0200 Subject: [PATCH] update to current state --- .gitmodules | 3 +++ 389-ds | 1 + 2 files changed, 4 insertions(+) create mode 160000 389-ds 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