mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-08-27 18:23:22 +02:00
Code Issues Wiki Activity
cdt/launchbar/org.eclipse.launchbar.ui.controls/.settings/org.eclipse.jdt.launching.prefs
Jonah Graham 533d62ce6c Bug 558439: Move launchbar plug-ins into its own folder 
This also removes the duplicated infra and releng code that is no longer
needed in merged repo

Change-Id: Ia5c52c7b087ed2612ed505c37ae00c9c6efe1f4f
2019-12-18 13:41:51 -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