Skip to content

Add pre-commit hook configuration#17

Merged
dzhu merged 2 commits intodzhu:masterfrom Jackenmen:patch-1Jul 19, 2022

Commits

Commits on Jul 6, 2021