Exclude the web/locale/ folder from linting (PR 17525 follow-up)

Given that the contents of this folder is generated by `gulp locale` it's essentially build-output and thus shouldn't be included in linting.
2024-01-16 20:25:01 +01:00 · 2024-01-16 20:25:01 +01:00 · 79594ff876
commit 79594ff876
parent bf6cc83e7a
3 changed files with 3 additions and 0 deletions
--- a/.eslintignore
+++ b/.eslintignore
@ -8,4 +8,5 @@ external/builder/fixtures_esprima/
 external/quickjs/
 test/tmp/
 test/pdfs/
+web/locale/
 *~/
--- a/.prettierignore
+++ b/.prettierignore
@ -8,4 +8,5 @@ external/builder/fixtures_esprima/
 external/quickjs/
 test/tmp/
 test/pdfs/
+web/locale/
 *~/
--- a/.stylelintignore
+++ b/.stylelintignore
@ -8,4 +8,5 @@ external/builder/fixtures_esprima/
 external/quickjs/
 test/tmp/
 test/pdfs/
+web/locale/
 *~/