From bbc6be7df20b227cdc6dfeb143e6ebb673052e24 Mon Sep 17 00:00:00 2001
From: Martin Algesten <martin@algesten.se>
Date: Sat, 30 Sep 2023 10:18:48 +0200
Subject: [PATCH] Fix clippy

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

diff --git a/src/lib.rs b/src/lib.rs
index 46076d8e..b32e339d 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -12,6 +12,8 @@
 // such as "{foo.var}" – hence this lint forces us to have inconsistent
 // formatting args. I prefer a lint that forbid "{var}".
 #![allow(clippy::uninlined_format_args)]
+// if we want a range, we will make a range.
+#![allow(clippy::manual_range_patterns)]
 
 //!<div align="center">
 //!  <!-- Version -->