Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-09-15 09:28:20 +01:00
Code Issues Projects Releases Packages Wiki Activity

Isolate the WPT lint and make use of the LintRunner

Browse source
This commit is contained in:
Ravi Shankar 2016-11-10 19:41:39 +05:30
parent b5cff9db8f
commit 8385c9ae79
3 changed files with 44 additions and 27 deletions
Download patch file Download diff file Expand all files Collapse all files

3
servo-tidy.toml
View file

@ -5,6 +5,9 @@ check-ordered-json-keys = [
"./resources/prefs.json",
"./resources/package-prefs.json",
]
lint-scripts = [
"./python/servo/lints/wpt_lint.py",
]
[ignore]
# Ignored packages with duplicated versions