mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-09-10 12:03:16 +02:00
Code Issues Wiki Activity
cdt/remote/org.eclipse.remote.proxy.server.core/.settings
History
Exact
Jonah Graham a3a6682faa Lower build.properties errors to warnings for some projects 
Some projects build some of their bin includes with maven
build, so remove the error in those cases.

fixup for 6eaaf714cc
2022-11-07 23:13:26 -05:00
..
org.eclipse.core.resources.prefs Bug 577097: Normalize .settings to CDT standard 2022-01-11 20:05:27 -05: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 577097: Normalize .settings to CDT standard 2022-01-11 20:05:27 -05: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 577097: Normalize .settings to CDT standard 2022-01-11 20:05:27 -05:00
org.eclipse.pde.core.prefs Bug 577097: Move o.e.remote into a subfolder 2022-01-11 20:04:18 -05:00
org.eclipse.pde.prefs Lower build.properties errors to warnings for some projects 2022-11-07 23:13:26 -05:00