rename lint

worldbank · Sep 30, 2024 · 5880cc8 · 5880cc8
1 parent 447f606
commit 5880cc8
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/src/mdhlp/lint.md → src/mdhlp/replint.md b/src/mdhlp/lint.md → src/mdhlp/replint.md