Ben Liblit e5e51110c3 Exclude plugin-provided HTML pages from validation ... Plugin documentation includes plenty of invalid HTML. However, we don't maintain these files, so we are not in a position to fix them. Better, therefore, to suppress these warnings so that we can notice and fix other problems over which we do have control.		2016-11-27 21:24:03 -06:00
..
org.eclipse.jdt.core.prefs	Ignore missing non-null-by-default annotations in Eclipse	2016-11-26 18:47:35 -06:00
org.eclipse.wst.validation.prefs	Exclude plugin-provided HTML pages from validation	2016-11-27 21:24:03 -06:00