Reinhard Pointner 472ed8aac0 * fixed bug: disabled progress indicator although there is still some formatting going on in the background		2009-07-19 23:38:20 +00:00
..
sourceforge	* fixed bug: disabled progress indicator although there is still some formatting going on in the background	2009-07-19 23:38:20 +00:00