diff options
author | Nadrieril | 2021-04-03 15:49:09 +0100 |
---|---|---|
committer | Nadrieril | 2021-04-03 15:50:32 +0100 |
commit | acdbd5f8202c63981576a244b178beceef0bd267 (patch) | |
tree | 17261d8f80752a95bff9bd8b6d405475d540c4a7 | |
parent | 28028c32aff193d9acb776d187197f3fc7c61be6 (diff) |
clippy: ignore unknown lints
-rw-r--r-- | dhall/src/lib.rs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/dhall/src/lib.rs b/dhall/src/lib.rs index 9048a09..2bc7464 100644 --- a/dhall/src/lib.rs +++ b/dhall/src/lib.rs @@ -9,7 +9,8 @@ clippy::try_err, clippy::unnecessary_wraps, clippy::upper_case_acronyms, - clippy::useless_format + clippy::useless_format, + unknown_lints )] pub mod builtins; |