diff options
Diffstat (limited to 'eclipse-parent/pom.xml')
| -rw-r--r-- | eclipse-parent/pom.xml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/eclipse-parent/pom.xml b/eclipse-parent/pom.xml index 81a961b48..2529e5b77 100644 --- a/eclipse-parent/pom.xml +++ b/eclipse-parent/pom.xml @@ -33,7 +33,6 @@ <project.build.sourceEncoding>UTF-8</project.build.sourceEncoding> <cbi-jdt-repo.url>http://build.eclipse.org/eclipse/cbi-jdt/</cbi-jdt-repo.url> <cbi-jdt-version>3.9.0.v20130129-050623</cbi-jdt-version> - <jdt.compiler.proceedOnError>true</jdt.compiler.proceedOnError> </properties> <repositories> <repository> |