Skip to content

CI scripts (panlint/indent): exclude deleted files#233

Merged
jrha merged 1 commit intoquattor:masterfrom jouvin:ci_ignore_deleted_filesNov 6, 2024