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

Remove resources/prefs.json (#34999)

Browse source 
This file is not used any longer.

Signed-off-by: Martin Robinson <mrobinson@igalia.com>
This commit is contained in:
Martin Robinson 2025-01-16 08:38:58 +01:00 • committed by GitHub
parent 3225d196fa
commit 7256590599
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
6 changed files with 2 additions and 223 deletions
Download patch file Download diff file Expand all files Collapse all files

1
servo-tidy.toml
View file

@ -2,7 +2,6 @@
skip-check-length = false
skip-check-licenses = false
check-alphabetical-order = true
check-ordered-json-keys = ["./resources/prefs.json"]
[ignore]
# Files that are ignored for all tidy and lint checks.