chore: remove unnecessary lint entries

google · Nov 10, 2023 · 5974ee0 · 5974ee0
1 parent db9fc1c
commit 5974ee0
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.prettierignore b/.prettierignore
@@ -25,6 +25,7 @@ gh-pages/*
 # All build artifacts, etc.
 **/dist/*
 **/build/*
+examples/blockly-svelte/public/bundle.js
 **/node_modules/*
 **/CHANGELOG.md
 CHANGELOG.md

diff --git a/eslint.config.js b/eslint.config.js
@@ -36,10 +36,9 @@ module.exports = [
       'examples/theme-extension-codelab',
       'examples/turtle-field-demo',
       'examples/validation-and-warnings-codelab',
-      'codelabs/',
-      'gh-pages/',
       '**/dist/',
       '**/build/',
+      'examples/blockly-svelte/public/bundle.js',
       // specific examples that are sometimes copied into plugins
       'plugins/dev-create/templates/sample-app',
       'plugins/dev-create/templates/sample-app-ts',