Ben Liblit 544a71ae72 Remove type arguments that Java 1.7+ can infer for us		2017-12-04 14:04:39 -08:00
..
org.eclipse.jdt.core.prefs	Remove type arguments that Java 1.7+ can infer for us	2017-12-04 14:04:39 -08:00
org.eclipse.jdt.launching.prefs	remove warnings in com.ibm.wala.core	2013-03-12 00:50:17 +01:00
org.eclipse.jdt.ui.prefs	git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3114 f5eafffb-2e1d-0410-98e4-8ec43c5233c4	2008-12-02 18:48:42 +00:00
org.eclipse.pde.prefs	Treat many Eclipse plugin-related problems as errors	2017-08-16 11:36:46 -07:00
org.eclipse.wst.validation.prefs	Merge branch 'master' into warning-fixes-xml-validation	2016-11-29 10:08:00 -06:00