From acdbd5f8202c63981576a244b178beceef0bd267 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Sat, 3 Apr 2021 15:49:09 +0100
Subject: clippy: ignore unknown lints

---
 dhall/src/lib.rs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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;
-- 
cgit v1.2.3