1 Commits (lean/pre-commit-hook-2)

Author SHA1 Message Date
Max Gautier ff48144607
pre-commit: adjust mardownlint default, md fixes 6 months ago