Skip to content

Add [format|lint].exclude options#8000

Merged
MichaReiser merged 1 commit intomainfrom format-lint-exclude-optionOct 18, 2023

Commits

Commits on Oct 18, 2023