Fix documentation extension

This commit is contained in:
Pieter Vander Vennet 2021-05-19 12:49:51 +02:00
parent 4bb92bc849
commit 3a2ae8c7d9
2 changed files with 1 additions and 1 deletions