1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-04-23 14:42:11 +02:00
cdt/build/org.eclipse.cdt.managedbuilder.gnu.ui/.settings
Marc Khouzam 9e1e981b4d Move the rest of the CDT plugins to java 8
This change was generated using the script:
releng/scripts/ChangeJavaVersion.sh

Change-Id: I2ad96dc682a5acb8529c3edec40de279c331b5a4
2016-06-22 14:51:43 -04:00
..
org.eclipse.jdt.core.prefs Move the rest of the CDT plugins to java 8 2016-06-22 14:51:43 -04:00
org.eclipse.pde.api.tools.prefs bug 301373: [API] add @noextend and @noimplement 2010-02-08 03:04:21 +00:00
org.eclipse.pde.prefs bug 288036: cdt-build plugins compilation settings are too lax 2009-08-29 21:49:47 +00:00