diff --git a/crates/egui/src/data/key.rs b/crates/egui/src/data/key.rs index 9a7fff8da8a..602ec5bda47 100644 --- 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, /// `-`