Jonah Graham 76cc07a4cd [releng] Bump version numbers for plug-ins changed since branch point ... Following https://wiki.eclipse.org/Version_Numbering#When_to_change_the_service_segment Change-Id: I019f2f6bcf11e5e4fb17960dc28a1fb2fac6ace0		2018-12-20 08:37:56 +00:00
..
org.eclipse.cdt.arduino-feature	Bug 542644 - Add fragment for Java 11 JAXB dependencies	2018-12-11 14:36:45 +00:00
org.eclipse.cdt.arduino.core	Bug 533588 - respect OS-specific override in platform.txt	2018-12-06 10:30:54 -05:00
org.eclipse.cdt.arduino.core.tests	Bug 540373: Update the compiler warnings/ignores	2018-11-24 10:55:06 +00:00
org.eclipse.cdt.arduino.ui	[releng] Bump version numbers for plug-ins changed since branch point	2018-12-20 08:37:56 +00:00
pom.xml	[releng] Bump version to 9.7.0	2018-12-10 13:50:44 +00:00