mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-04-22 22:22:11 +02:00
Code Issues Wiki Activity
cdt/toolchains/arduino/org.eclipse.cdt.arduino.ui/.settings/org.eclipse.jdt.launching.prefs
Jonah Graham 35996a5c5c 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-22 21:47:02 +00:00

3 lines
185 B
INI
Raw Blame History

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
Reference in a new issue View git blame Copy permalink