diff --git a/pom.xml b/pom.xml index 89e82c92c1..768497bed9 100644 --- a/pom.xml +++ b/pom.xml @@ -11,12 +11,13 @@ 0.7.3 --> + org.key_project.key4eclipse parent 0.1.0-SNAPSHOT - 2023-12 + 2024-12 4.0.4 2.2.0