Fix building of documentation

This commit is contained in:
Julian Ospald 2020-04-26 11:55:20 +02:00
parent 8b638c7ecb
commit 27e2e7f848
No known key found for this signature in database
GPG Key ID: 511B62C09D50CD28
1 changed files with 2 additions and 2 deletions