tree b8ff1e42a3b34318a9d112f72e7c736945b3247d
parent 3b6edcd90143dbb6dba2cb19c75c0ae8256a49df
author Marc Kupietz <kupietz@ids-mannheim.de> 1762109912 +0100
committer Marc Kupietz <kupietz@ids-mannheim.de> 1762109912 +0100

Print indexing progress