Split CheckPipe feature of trimming redundant whitespace out into option CheckPipeForRedundantWhitespace - #1413
Merged
Christoph Bergmeister (bergmeister) merged 6 commits intoFeb 11, 2020
Commits
Commits on Feb 10, 2020
- committed
Christoph Bergmeister - committed
Christoph Bergmeister - committed
Christoph Bergmeister
Commits on Feb 11, 2020
- committed
Christoph Bergmeister - committed
Christoph Bergmeister