Merge #13753: scripted-diff: Remove trailing whitespaces

Browse Source

12dd101345 scripted-diff: Remove trailing whitespaces (João Barbosa)

Pull request description:

  The script test/lint/lint-whitespace.sh should prevent new cases.

  This happens in some pulls where the code editor and the author 'git add's them, so this would fix it all.

Tree-SHA512: bcdd3472fcd01a2754e52212c7db1de2fdc422728b06785481954a27162fb72001cb73708329cc56e95bcc5e45c1348ebc4eacc2ccfa6aa12413c7ec450b6a33

...

This commit is contained in:

MarcoFalke 2018-07-25 07:09:28 -04:00

parent c883653202 12dd101345

commit a140953907

No known key found for this signature in database

GPG Key ID: D2EA4850E7528B25

46 changed files with 152 additions and 152 deletions

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

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