outline corrections of // comments

This commit is contained in:
Mike 2018-09-28 17:38:06 +02:00 committed by GitHub
parent e8a56755d9
commit 41e6939a81
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23