summaryrefslogtreecommitdiff
path: root/dhall
diff options
context:
space:
mode:
authorNadrieril2021-04-03 15:49:09 +0100
committerNadrieril2021-04-03 15:50:32 +0100
commitacdbd5f8202c63981576a244b178beceef0bd267 (patch)
tree17261d8f80752a95bff9bd8b6d405475d540c4a7 /dhall
parent28028c32aff193d9acb776d187197f3fc7c61be6 (diff)
clippy: ignore unknown lints
Diffstat (limited to '')
-rw-r--r--dhall/src/lib.rs3
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;