update to current state

2023-10-10 09:12:41 +02:00
parent ab29a875b9
commit ae37e1bd27
3 changed files with 6 additions and 2 deletions
--- a/.gitmodules
+++ b/.gitmodules
@@ -7449,7 +7449,7 @@
 	url = ../../pool/ocaml-pcre
 [submodule "ocaml-pp"]
 	path = ocaml-pp
-	url = ../../pool/ocaml-pp
+	url = ../../ALP-pool/ocaml-pp
 [submodule "ocaml-pyml"]
 	path = ocaml-pyml
 	url = ../../pool/ocaml-pyml
@@ -7864,3 +7864,6 @@
 [submodule "rust1.72"]
 	path = rust1.72
 	url = ../../ALP-pool/rust1.72
+[submodule "libcryptopp"]
+	path = libcryptopp
+	url = ../../ALP-pool/libcryptopp
--- a/1
+++ b/1
--- a/2
+++ b/2