update to current state

This commit is contained in:
2023-10-18 18:50:39 +02:00
parent 413d5b07cd
commit ffa4cd4273
2 changed files with 2 additions and 2 deletions

2
.gitmodules vendored
View File

@@ -948,7 +948,7 @@
url = ../../pool/java-17-openjdk
[submodule "java-1_8_0-openjdk"]
path = java-1_8_0-openjdk
url = ../../pool/java-1_8_0-openjdk
url = ../../ALP-pool/java-1_8_0-openjdk
[submodule "java-cup"]
path = java-cup
url = ../../pool/java-cup