Eyck Jentzsch 20c3994507 Initial plugin version		2018-08-27 23:11:59 +02:00
..
org.eclipse.jdt.core.prefs	Initial plugin version	2018-08-27 23:11:59 +02:00
org.eclipse.pde.core.prefs	Initial plugin version	2018-08-27 23:11:59 +02:00
org.eclipse.pde.ds.annotations.prefs	Initial plugin version	2018-08-27 23:11:59 +02:00