double space before comments

not part of official style guide, but i think it more clearly separates code and comment
This commit is contained in:
Martijn Visser 2018-08-14 19:01:13 +02:00
parent cf5cc6b76c
commit 031d9d75c4