Thomas Schmitt 264615efee Bug fix: -extract was not immediately aborted if -abort_on was triggered		2011-08-16 16:05:11 +00:00
..
tags	Promoted branch to tag	2011-08-08 14:07:40 +00:00
trunk	Bug fix: -extract was not immediately aborted if -abort_on was triggered	2011-08-16 16:05:11 +00:00