From d146e4ff9e9d7af0ae1d3b65949b03c2209d2009 Mon Sep 17 00:00:00 2001
From: Patrick LaFontaine <32135464+Pat-Lafon@users.noreply.github.com>
Date: Sun, 16 Jun 2024 22:05:44 -0700
Subject: [PATCH] Allow doc_markdown lint

---
 bril-rs/brillvm/src/lib.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/bril-rs/brillvm/src/lib.rs b/bril-rs/brillvm/src/lib.rs
index 255f2e2b9..03cc7e207 100644
--- 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")]