doc: More formatting fixes

This commit is contained in:
Rémi Verschelde 2019-07-22 12:41:41 +02:00
parent 5b20b49bf7
commit 16288cabc0