Changelog

pull/8472/head
Andrew Morgan 2020-10-06 14:39:47 +01:00
parent 4d077bb0a7
commit 36b3cc82b2
1 changed files with 1 additions and 0 deletions

1
changelog.d/8472.feature Normal file
View File

@ -0,0 +1 @@
Add `-d` option to `./scripts-dev/lint.sh` to lint files that have changed since the last git commit.