From 2c411a9bc70d91c17efe582909a7d62fdd13f4fe Mon Sep 17 00:00:00 2001 From: Pavel Timofeev Date: Tue, 14 Apr 2026 19:23:54 -0400 Subject: [PATCH] restore an incorrectly removed line in the previous commit --- src/config.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/config.rs b/src/config.rs index e7a9c55..b31f422 100644 --- a/src/config.rs +++ b/src/config.rs @@ -104,6 +104,7 @@ struct RawStyle { pub italic: bool, } +#[allow(clippy::derivable_impls)] // Explicitly control defaults impl Default for RawStyle { fn default() -> Self { Self { @@ -190,7 +191,6 @@ struct RawIndent { command: usize, } -#[allow(clippy::derivable_impls)] // Explicitly control defaults impl Default for RawIndent { fn default() -> Self { Self {