tree 9ed9a7fde13c01a6fd2d926bf23da78e282929e3
parent d91e1d4a93a546ae8f8781e481abdac8d002ff52
author Marc Kupietz <kupietz@ids-mannheim.de> 1548170810 +0100
committer Marc Kupietz <kupietz@ids-mannheim.de> 1548170810 +0100

collocatordb: replace "<num>" with "###"