update to current state

2023-10-24 13:30:19 +02:00 · 2023-10-24 13:30:19 +02:00 · a920f6ad33
commit a920f6ad33
parent 5629b2fb29
3 changed files with 3 additions and 3 deletions
--- a/.gitmodules
+++ b/.gitmodules
@ -435,7 +435,7 @@
 	url = ../../ALP-pool/diffutils
 [submodule "ding-libs"]
 	path = ding-libs
-	url = ../../pool/ding-libs
+	url = ../../ALP-pool/ding-libs
 [submodule "dirac"]
 	path = dirac
 	url = ../../pool/dirac
--- a/2
+++ b/2
@ -1 +1 @@
-Subproject commit 2bd34b751d4a25640588144f79d6bb1b8951c352
+Subproject commit 87cb8858acb1913f2aad7c7001066480e3142877
--- a/2
+++ b/2
@ -1 +1 @@
-Subproject commit a125d4d8d289244cdcd7e0882e881f8e1f81b72e
+Subproject commit c454186d29c06d9985fa11265b8781a061a2437f