mirror of
https://github.com/servo/servo.git
synced 2025-07-22 23:03:42 +01:00
Remove the gonk port
This commit is contained in:
parent
3ec20d9cf5
commit
02c7e06d54
19 changed files with 5 additions and 4050 deletions
|
@ -33,7 +33,6 @@ file_patterns_to_ignore = [
|
|||
# Files that are ignored for all tidy and lint checks.
|
||||
ignored_files = [
|
||||
# Generated and upstream code combined with our own. Could use cleanup
|
||||
os.path.join(".", "ports", "gonk", "src", "native_window_glue.cpp"),
|
||||
os.path.join(".", "ports", "geckolib", "gecko_bindings", "bindings.rs"),
|
||||
os.path.join(".", "ports", "geckolib", "gecko_bindings", "structs.rs"),
|
||||
os.path.join(".", "ports", "geckolib", "string_cache", "atom_macro.rs"),
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue