Skip to content

Remove lint.sh; re-add 'make fmt'#2113

Merged
denik merged 2 commits intomainfrom denik/remove-lint.shJan 10, 2025

Commits

Commits on Jan 10, 2025