Remove unnecessary lint ignore rule

And, by extension, the lint ignore file
standardebooks · Mar 11, 2024 · 46cc947 · 46cc947
1 parent 2e530af
commit 46cc947
Showing 1 changed file with 0 additions and 9 deletions.
diff --git a/se-lint-ignore.xml b/se-lint-ignore.xml