Julian Dolby 0ad11fefc3 work on Wala with Yannis' group		2018-07-22 16:19:32 -04:00
..
org.eclipse.jdt.core.prefs	work on Wala with Yannis' group	2018-07-22 16:19:32 -04:00
org.eclipse.jdt.ui.prefs	update Eclipse prefs	2012-01-06 21:24:07 +00:00
org.eclipse.pde.prefs	refactoring of CAst front end machinery to allow more reuse	2018-01-25 14:42:27 -05:00
org.eclipse.wst.validation.prefs	Merge branch 'master' into warning-fixes-xml-validation	2016-11-29 10:08:00 -06:00