Thomas Schmitt 68a942495f Made use of iso_set_abort_severity() with option -abort_on		2008-01-28 10:54:55 +00:00
..
trunk	Made use of iso_set_abort_severity() with option -abort_on	2008-01-28 10:54:55 +00:00