diff options
-rw-r--r-- | eclipse-platform-parent/saveproperties/mavenproperties.properties | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/eclipse-platform-parent/saveproperties/mavenproperties.properties b/eclipse-platform-parent/saveproperties/mavenproperties.properties index b0ed04550..1aaa2cb2a 100644 --- a/eclipse-platform-parent/saveproperties/mavenproperties.properties +++ b/eclipse-platform-parent/saveproperties/mavenproperties.properties @@ -13,7 +13,6 @@ eclipserun-repo=${eclipserun-repo} java.class.path=${java.class.path} java.class.version=${java.class.version} -java.ext.dirs=${java.ext.dirs} java.home=${java.home} java.io.tmpdir=${java.io.tmpdir} java.library.path=${java.library.path} |