Fix some whitespace in documentation

This commit is contained in:
Manuel Pégourié-Gonnard 2018-08-22 10:24:31 +02:00
parent c1d54b74ec
commit 68ae351dbe