From 535a689cfcec896dd4ce74ef567bd30c11ade9e3 Mon Sep 17 00:00:00 2001 From: David Robertson Date: Thu, 14 Apr 2022 11:33:06 +0100 Subject: Reintroduce the lint targets in the linter script (#12455) --- changelog.d/12455.misc | 1 + 1 file changed, 1 insertion(+) create mode 100644 changelog.d/12455.misc (limited to 'changelog.d/12455.misc') diff --git a/changelog.d/12455.misc b/changelog.d/12455.misc new file mode 100644 index 0000000000..9b19945673 --- /dev/null +++ b/changelog.d/12455.misc @@ -0,0 +1 @@ +Reintroduce the list of targets to the linter script, to avoid linting unwanted local-only directories during development. -- cgit 1.4.1