mirror of
https://github.com/servo/servo.git
synced 2025-08-06 06:00:15 +01:00
Tidy: Report invalid listed ignored directories and files
This commit is contained in:
parent
747e130295
commit
8a1aa354d6
4 changed files with 42 additions and 11 deletions
|
@ -11,5 +11,9 @@ wrong-key = false
|
|||
wrong-key = true
|
||||
|
||||
[ignore]
|
||||
files = []
|
||||
directories = []
|
||||
files = [
|
||||
"./fake/file.html",
|
||||
]
|
||||
directories = [
|
||||
"./fake/dir",
|
||||
]
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue