diff options
author | Clement Tsang <34804052+ClementTsang@users.noreply.github.com> | 2023-01-27 18:13:17 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-01-27 18:13:17 -0500 |
commit | 9ad1d8f0b47164ebf35eed2bfe09d4c348f96fe8 (patch) | |
tree | 57e844563692ed4e80dc45c05f0c880fcc7ce6d8 /src/lib.rs | |
parent | 32434932a64e014b1925433ced8bfcadb59f8a77 (diff) |
other: ignore uninlined_format_args clippy lint for now (#1004)
Diffstat (limited to 'src/lib.rs')
-rw-r--r-- | src/lib.rs | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -6,6 +6,7 @@ //! bottom, refer to [here](https://clementtsang.github.io/bottom/stable/). #![warn(rust_2018_idioms)] +#![allow(clippy::uninlined_format_args)] #[allow(unused_imports)] #[cfg(feature = "log")] #[macro_use] |