diff options
Diffstat (limited to 'bin')
-rwxr-xr-x | bin/clippy | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/bin/clippy b/bin/clippy index fbf5dc7..148f8bb 100755 --- a/bin/clippy +++ b/bin/clippy @@ -39,7 +39,6 @@ SUPPRESS=( # To be resolved or suppressed locally. cast_ptr_alignment - if_same_then_else ptr_arg # We don't care about these lints. Okay to remain suppressed globally. |