doc: remove double space

This commit is contained in:
Robin Gloster
2017-03-20 20:59:43 +01:00
parent 88341c4d2b
commit 72a5cf11cc