diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2020-09-13 19:30:55 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-09-14 09:55:45 +0200 |
| commit | fab7609913c9787bdb79602ff716f5e0d1598c98 (patch) | |
| tree | 7bd1cebde179e383cbbf5868e5b664c7d0f7e88f /docs/trusty | |
| parent | 3f1d02b23f99beaf2bf3b06c11642e56578b12ee (diff) | |
tools/check-whitespace.sh: check for trailing whitespaces
File types that we don't format automatically can end up
with such basic untidiness as trailing whitespaces.
Check for these. Remove all existing precedents.
Diffstat (limited to 'docs/trusty')
| -rw-r--r-- | docs/trusty/README.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/trusty/README.md b/docs/trusty/README.md index cad54ae76..5013dc5db 100644 --- a/docs/trusty/README.md +++ b/docs/trusty/README.md @@ -151,7 +151,7 @@ using config along the lines of (substitute actual values for `$KERNEL`, `$SYZKA "ppoll", "dup3", "tkill", - "gettid", + "gettid", "close" ] } |