diff options
| author | Marijn van der Werf <marijn.vanderwerf@gmail.com> | 2017-06-21 14:56:03 +0200 |
|---|---|---|
| committer | Marijn van der Werf <marijn.vanderwerf@gmail.com> | 2017-06-22 23:03:40 +0200 |
| commit | 717b7f9904f1d502dd0ab82eec7820bd08af2983 (patch) | |
| tree | 92763bfeaeb23cd37e0d1c047289038e093bac06 /whitespace.sh | |
| parent | 42ae04c74fe07d05175efb4df143dbcf1b2752bc (diff) | |
Run clang-format on CI
Diffstat (limited to 'whitespace.sh')
| -rwxr-xr-x | whitespace.sh | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/whitespace.sh b/whitespace.sh deleted file mode 100755 index 7075fbd4e..000000000 --- a/whitespace.sh +++ /dev/null @@ -1,6 +0,0 @@ -#!/bin/sh - -if grep -Enr "\s+\$" src; then - # Trailing whitespace detected - exit 1 -fi |