Jonah Graham 1f19cff227 Make missing identifiers and classes in plugin.xml errors ... Subsequent commits fix the errors		2022-11-04 08:19:23 -04:00
..
org.eclipse.core.resources.prefs	Bug 567488: Move cmake code to cmake dir	2020-10-13 20:42:22 -04:00
org.eclipse.jdt.core.prefs	Update to Java 17 as BREE. Fixes #80	2022-10-03 12:42:37 -04:00
org.eclipse.jdt.launching.prefs	Bug 567488: Move cmake code to cmake dir	2020-10-13 20:42:22 -04:00
org.eclipse.jdt.ui.prefs	[releng] Make CDT Clean-up profile match Editor on save actions	2022-04-19 20:13:15 -04:00
org.eclipse.pde.api.tools.prefs	Bug 567488: Move cmake code to cmake dir	2020-10-13 20:42:22 -04:00
org.eclipse.pde.prefs	Make missing identifiers and classes in plugin.xml errors	2022-11-04 08:19:23 -04:00