From 44ea384ee59fafb76882e1d6687bc4cbc6d61611 Mon Sep 17 00:00:00 2001 From: sigoden Date: Mon, 30 Oct 2023 10:22:00 +0800 Subject: chore: remove unnecessary clippy macros --- src/repl/highlighter.rs | 1 - 1 file changed, 1 deletion(-) (limited to 'src/repl/highlighter.rs') diff --git a/src/repl/highlighter.rs b/src/repl/highlighter.rs index b1ec023..103d198 100644 --- a/src/repl/highlighter.rs +++ b/src/repl/highlighter.rs @@ -5,7 +5,6 @@ use reedline::{Highlighter, StyledText}; const MATCH_COLOR: Color = Color::Green; -#[allow(clippy::module_name_repetitions)] pub struct ReplHighlighter { external_commands: Vec, config: SharedConfig, -- cgit v1.2.3