Skip to content

Add scripts to run linting on only modified files#3192

Merged
chatton merged 1 commit intomainfrom cian/add-makefile-targets-to-lint-only-changed-filesFeb 23, 2023
+34-1

Commits

Commits on Feb 23, 2023