Thomas Schmitt a25963775f Made -abort_on and -report_about complain with bad severity names		2007-11-02 14:37:31 +00:00
..
trunk	Made -abort_on and -report_about complain with bad severity names	2007-11-02 14:37:31 +00:00