tree faedc31c24099e6e9b38e9aa9ae03fbaa003b69a
parent 51714ed073562406838237f56ee6a0dd272a9bbd
author Marc Kupietz <kupietz@ids-mannheim.de> 1713005461 +0200
committer Marc Kupietz <kupietz@ids-mannheim.de> 1713005461 +0200

be happy with any *.opf file – not just content.opf