From 2a0361f33614d95d8b63a857f96d340ce047ad43 Mon Sep 17 00:00:00 2001 From: Lars Wirzenius Date: Thu, 22 Oct 2020 09:26:58 +0300 Subject: chore: silence a clippy warning --- src/main.rs | 1 + 1 file changed, 1 insertion(+) diff --git a/src/main.rs b/src/main.rs index 74175c1..e120534 100644 --- a/src/main.rs +++ b/src/main.rs @@ -21,6 +21,7 @@ struct Opt { } #[derive(Debug, thiserror::Error)] +#[allow(clippy::enum_variant_names)] enum EwwwError { #[error("Web root {0} does not exist")] WebrootNotFound(PathBuf), -- cgit v1.2.1