updated script for documentation generation

This commit is contained in:
Martin Diehl 2019-02-16 17:59:57 +01:00
parent 29fc53fdcb
commit 9746069297
1 changed files with 1 additions and 1 deletions

@ -1 +1 @@
Subproject commit 6b968ff1ce03333c2db386167f9740ce6e22443b Subproject commit 3e1467f13ace5bf9002b211d1302c80e6f85cec3