cdt/toolchains/arduino/org.eclipse.cdt.arduino.ui/.settings/org.eclipse.jdt.launching.prefs

eclipse.preferences.version=1
org.eclipse.jdt.launching.PREF_COMPILER_COMPLIANCE_DOES_NOT_MATCH_JRE=warning
org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE=warning
Bug 540373: Standard .settings auto applied The releng/scripts/apply_jdt_prefs_to_all_projects.sh was run to copy standard settings to all other projects. Change-Id: I4436c947d7f0142f56b709e661379c3eb54f666b 2018-11-20 14:37:33 +00:00			`eclipse.preferences.version=1`
			`org.eclipse.jdt.launching.PREF_COMPILER_COMPLIANCE_DOES_NOT_MATCH_JRE=warning`
			`org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE=warning`