tree 1034689e3bfd3fd5f1c21f67f3f4a1ca9ec56bc3
parent df479e9416b61b4b838f75fdece25fb70191c421
parent 1b1a2710c8fcd893a28492d1f82ecc64e0188331
author Akron <diewald@ids-mannheim.de> 1546004319 +0100
committer Gerrit Code Review <gerrit2@korap.ids-mannheim.de> 1546004319 +0100

Merge "Make doc navigation extensible"