Merge pull request #2 from KeYProject/wadoon-patch-1

Update to eclipse 2024-12
KeYProject · Dec 11, 2024 · d1e0080 · d1e0080
2 parents c8d8c16 + b5a28b1
commit d1e0080
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/pom.xml b/pom.xml
@@ -11,12 +11,13 @@
       <version>0.7.3</version>
       </parent>
   -->
+
 	<groupId>org.key_project.key4eclipse</groupId>
 	<artifactId>parent</artifactId>
 	<version>0.1.0-SNAPSHOT</version>
 
 	<properties>
-		<tools.mdsd.dependencies.eclipse-version>2023-12</tools.mdsd.dependencies.eclipse-version>
+		<tools.mdsd.dependencies.eclipse-version>2024-12</tools.mdsd.dependencies.eclipse-version>
 		<tycho.version>4.0.4</tycho.version>
 		<tycho-javadoc.version>2.2.0</tycho-javadoc.version>
 		<javadoc.args>