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