Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-16 10:55:34 +01:00
Code Issues Projects Releases Packages Wiki Activity

Check for JSON key non-duplication and order

Browse source
This commit is contained in:
Yuki Izumi 2016-11-07 19:02:22 +11:00
parent c62ce53efa
commit d47aca18c4
No known key found for this signature in database
GPG key ID: 44A3D2C95E26BB14
4 changed files with 35 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

4
servo-tidy.toml
View file

@ -1,6 +1,10 @@
[configs]
skip-check-length = false
skip-check-licenses = false
check-ordered-json-keys = [
"./resources/prefs.json",
"./resources/package-prefs.json",
]
[ignore]
# Ignored packages with duplicated versions