tree 56d7b8364d26227750f625489733e072e1cb53c7
parent f19814b967cc69b98820b51e815081a1fbca10ce
author Marc Kupietz <kupietz@ids-mannheim.de> 1548166898 +0100
committer Marc Kupietz <kupietz@ids-mannheim.de> 1548166898 +0100

derkovecs: use collocate instead of collocator