Vreixo Formoso 7a87f47542 Prevent negative priorities on wrong error codes (fixes bug #135).		2008-08-20 00:05:27 +02:00
..
org.eclipse.cdt.core.prefs	Prevent negative priorities on wrong error codes (fixes bug #135).	2008-08-20 00:05:27 +02:00