diff options
| author | yenatch <yenatch@gmail.com> | 2017-07-05 17:48:21 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-07-05 17:48:21 -0400 |
| commit | 124e2eb02c4adc46265e5b34b47ac0c625a24ec3 (patch) | |
| tree | 5c0af98d9e49a767f455fff1ceec5d07cb8539b8 /whitespace.sh | |
| parent | 123d5cc8b26d2a93fa3981beaccb84377c6ae20f (diff) | |
| parent | 813c1846c94fa14b55bf75cf4c14465f1fb26635 (diff) | |
Merge branch 'master' into master
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 |