Thomas Schmitt bebe13465f More timely abort of find jobs if the result pager gets aborted		2009-08-14 10:22:59 +00:00
..
tags	Promoted branch to tag	2009-06-28 12:24:58 +00:00
trunk	More timely abort of find jobs if the result pager gets aborted	2009-08-14 10:22:59 +00:00