Merge remote-tracking branch 'origin/development'
[staff/due1/sed-hs15-srs-purple.git] / .settings / org.eclipse.jdt.core.prefs
1 eclipse.preferences.version=1
2 org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.8
3 org.eclipse.jdt.core.compiler.compliance=1.8
4 org.eclipse.jdt.core.compiler.problem.forbiddenReference=warning
5 org.eclipse.jdt.core.compiler.source=1.8