Allow doc_markdown lint

sampsyo · Jun 17, 2024 · d146e4f · d146e4f
1 parent 4c0d115
commit d146e4f
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/bril-rs/brillvm/src/lib.rs b/bril-rs/brillvm/src/lib.rs
@@ -1,4 +1,5 @@
 #![warn(clippy::all, clippy::pedantic, clippy::nursery, clippy::cargo)]
+#![allow(clippy::doc_markdown)] // Not uniform? Just lints on one line
 #![allow(clippy::too_many_lines)]
 #![allow(clippy::needless_for_each)]
 #![doc = include_str!("../README.md")]