Ben Liblit b70d69d62f Treat many Eclipse plugin-related problems as errors ... These are all problems that Eclipse can detect, but that it detects no instances of right now. Treating these as warnings instead of errors should help prevent us from slipping backward in the future.		2017-08-16 11:36:46 -07:00
..
org.eclipse.jdt.core.prefs	Fix Eclipse warnings about redundant null checks and assignments	2017-08-15 09:11:29 -07:00
org.eclipse.jdt.launching.prefs	remove warnings from com.ibm.wala.util	2013-03-12 00:55:26 +01:00
org.eclipse.jdt.ui.prefs	fix some compiler warnings. no semantic changes	2011-02-03 15:15:56 +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