diff options
Diffstat (limited to 'org.eclipse.jdt.debug.ui/pom.xml')
-rw-r--r-- | org.eclipse.jdt.debug.ui/pom.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/org.eclipse.jdt.debug.ui/pom.xml b/org.eclipse.jdt.debug.ui/pom.xml index c44450314..2a90e95b7 100644 --- a/org.eclipse.jdt.debug.ui/pom.xml +++ b/org.eclipse.jdt.debug.ui/pom.xml @@ -18,7 +18,7 @@ </parent> <groupId>org.eclipse.jdt</groupId> <artifactId>org.eclipse.jdt.debug.ui</artifactId> - <version>3.12.500-SNAPSHOT</version> + <version>3.12.600-SNAPSHOT</version> <packaging>eclipse-plugin</packaging> <properties> <code.ignoredWarnings>-warn:+resource,-deprecation,unavoidableGenericProblems</code.ignoredWarnings> |