diff options
author | Lars Wirzenius <liw@liw.fi> | 2020-10-22 06:27:29 +0000 |
---|---|---|
committer | Lars Wirzenius <liw@liw.fi> | 2020-10-22 06:27:29 +0000 |
commit | dc3243caabebfea0aa694a697f2ba738ce7d378e (patch) | |
tree | a6a8fd9a908a60c383c49cf3a287b2b9bec7468a | |
parent | 28db43c3b13f99d57ddf2e77e26b5a65a3bdec99 (diff) | |
parent | 2a0361f33614d95d8b63a857f96d340ce047ad43 (diff) | |
download | ewww-dc3243caabebfea0aa694a697f2ba738ce7d378e.tar.gz |
Merge branch 'fix' into 'master'
chore: silence a clippy warning
See merge request larswirzenius/ewww!12
-rw-r--r-- | src/main.rs | 1 |
1 files changed, 1 insertions, 0 deletions
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), |