remove lint completely

worldbank · Sep 30, 2024 · 6333aa2 · 6333aa2
1 parent d554386
commit 6333aa2
Showing 1 changed file with 0 additions and 7 deletions.
diff --git a/src/mdhlp/lint.md b/src/mdhlp/lint.md