Fix Mkdocs formatting

This commit is contained in:
Michael Friedrich 2019-07-20 15:59:59 +02:00
parent 08aea595a5
commit 29e530be5a