Merge pull request #2 from sagudev/make-tidy-tidy

Find webidls for tidy
jdm · Oct 3, 2024 · a0d6b94 · a0d6b94
2 parents 858f88d + 8a0da19
commit a0d6b94
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/servo-tidy.toml b/servo-tidy.toml
@@ -112,4 +112,4 @@ directories = [
 # Directories that are checked for correct file extension
 [check_ext]
 # directory, list of expected file extensions
-"./components/script/dom/webidls" = [".webidl", "noidl"]
+"./components/script_bindings/webidls" = [".webidl"]