Ben Liblit 10dff7fb1c Disable Eclipse warnings about assignments to parameters ... Previously we had 227 such warnings. That large number suggests that the WALA developers consider this to be an acceptable coding style. If that's so, then it's better to hide these warnings rather than keep them around as a perpetual distraction.		2017-07-18 20:43:36 -07:00
..
org.eclipse.jdt.core.prefs	Disable Eclipse warnings about assignments to parameters	2017-07-18 20:43:36 -07:00
org.eclipse.jdt.ui.prefs	more conversion to Unix line endings	2012-09-04 15:59:50 -07:00
org.eclipse.wst.validation.prefs	Merge branch 'master' into warning-fixes-xml-validation	2016-11-29 10:08:00 -06:00