summary refs log tree commit diff
path: root/changelog.d/8472.misc
diff options
context:
space:
mode:
Diffstat (limited to 'changelog.d/8472.misc')
-rw-r--r--changelog.d/8472.misc1
1 files changed, 0 insertions, 1 deletions
diff --git a/changelog.d/8472.misc b/changelog.d/8472.misc
deleted file mode 100644

index 880f3f5e14..0000000000 --- a/changelog.d/8472.misc +++ /dev/null
@@ -1 +0,0 @@ -Add `-d` option to `./scripts-dev/lint.sh` to lint files that have changed since the last git commit. \ No newline at end of file