mirror of
https://github.com/gitui-org/gitui
synced 2026-05-24 01:18:21 +00:00
make more easy to revisit
This commit is contained in:
parent
6b5745f6c2
commit
6dfe5ea62a
1 changed files with 2 additions and 1 deletions
|
|
@ -19,7 +19,8 @@
|
|||
clippy::bool_to_int_with_if,
|
||||
clippy::module_name_repetitions
|
||||
)]
|
||||
#![allow(clippy::missing_const_for_fn)] // high number of false positives on nightly
|
||||
// high number of false positives on nightly (as of Oct 2022 with 1.66.0-nightly)
|
||||
#![allow(clippy::missing_const_for_fn)]
|
||||
|
||||
//TODO:
|
||||
// #![deny(clippy::expect_used)]
|
||||
|
|
|
|||
Loading…
Reference in a new issue