Merge pull request #9252 from WilliamCollishaw/double-whitespace

Browse Source

Clean up some instances of double white space

...

This commit is contained in:

Tomas Slusny

2019-07-01 01:14:41 +02:00

committed by GitHub

parent 8ee3e483f4 83d2a7e58b

commit 8c9480c266

15 changed files with 30 additions and 30 deletions

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Download Patch File Download Diff File Expand all files Collapse all files