tree c3bd4aefda2b768d6d8acaf2956ebdbf8dff2675
parent ea616ca2d86f4ea31c6716912f3472e01889a493
author Marc Kupietz <kupietz@ids-mannheim.de> 1528190015 +0200
committer Marc Kupietz <kupietz@ids-mannheim.de> 1528190015 +0200

collocatordb: debug dump not necessary anymore