mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-08-03 14:25:37 +02:00
Code Issues Wiki Activity
cdt/remote/org.eclipse.remote.jsch.ui/.settings/org.eclipse.jdt.launching.prefs
Jonah Graham c1642591e5 Bug 577097: Normalize .settings to CDT standard 
Change-Id: I1834c96b5f4c7c93637b343b1aed9d499df31134
2022-01-11 20:05:27 -05: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