1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-08-03 22:35:43 +02:00
cdt/releng/org.eclipse.cdt.platform.branding
Marco Stornelli c2f51a8d23 [releng] Bump CDT version to 9.12.0
org.eclipse.cdt.debug.gdbjtag is bumped because of Bug 561343

Change-Id: I6dac283b7e9093662f57ac5c804021c4201ad6f1
2020-03-22 14:05:17 -04:00
..
.settings Bug 558827: Add and/or fix branding on all features 2020-01-09 15:11:35 -05:00
META-INF [releng] Bump CDT version to 9.12.0 2020-03-22 14:05:17 -04:00
.project Bug 558827: Add and/or fix branding on all features 2020-01-09 15:11:35 -05:00
about.html Bug 558827: Add and/or fix branding on all features 2020-01-09 15:11:35 -05:00
about.ini Bug 558827: Add and/or fix branding on all features 2020-01-09 15:11:35 -05:00
about.mappings Bug 558827: Add and/or fix branding on all features 2020-01-09 15:11:35 -05:00
about.properties Bug 558827: Add and/or fix branding on all features 2020-01-09 15:11:35 -05:00
build.properties Bug 558827: Add and/or fix branding on all features 2020-01-09 15:11:35 -05:00
cdt_logo_icon32.png Bug 558827: Add and/or fix branding on all features 2020-01-09 15:11:35 -05:00
epl-v20.html Bug 558827: Add and/or fix branding on all features 2020-01-09 15:11:35 -05:00
notice.html Bug 558827: Add and/or fix branding on all features 2020-01-09 15:11:35 -05:00
plugin.properties Bug 558827: Add and/or fix branding on all features 2020-01-09 15:11:35 -05:00