Skip to content
Snippets Groups Projects

Resolve "update to EPL 2.0"

Merged Resolve "update to EPL 2.0"
17-update-to-epl-2-0 into master
Merged Dominique Marcadet requested to merge 17-update-to-epl-2-0 into master
Compare
and
13 files
+ 247
− 180
Compare changes
  • Side-by-side
  • Inline
Files
13
fr.centralesupelec.edf.riseclipse.editor/.settings/org.eclipse.jdt.core.prefs deleted 100644 → 0
+ 0
− 7
eclipse.preferences.version=1
org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.8
org.eclipse.jdt.core.compiler.compliance=1.8
org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
org.eclipse.jdt.core.compiler.source=1.8