don't have backquote

emilk · Dec 30, 2024 · 8806807 · 8806807
1 parent db5e7c9
commit 8806807
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/crates/egui/src/data/key.rs b/crates/egui/src/data/key.rs
@@ -64,8 +64,7 @@ pub enum Key {
     // `}`
     CloseCurlyBracket,
 
-    #[allow(clippy::doc_markdown)] // single backquote
-    /// '`' Also known as "backquote" or "grave"
+    /// Also known as "backquote" or "grave"
     Backtick,
 
     /// `-`