diff options
| author | Fernando Jiménez Moreno <ferjmoreno@gmail.com> | 2019-08-13 09:43:06 +0200 |
|---|---|---|
| committer | Fernando Jiménez Moreno <ferjmoreno@gmail.com> | 2019-08-13 09:43:06 +0200 |
| commit | 1fbb3b39b001744260213232b4db7c08c184229f (patch) | |
| tree | 82a182e4b7b293d59a60614aa89da9fa6d2bdeac | |
| parent | 9ad66b686699a364102190628b074f1ed020115e (diff) | |
| download | servo-1fbb3b39b001744260213232b4db7c08c184229f.tar.gz servo-1fbb3b39b001744260213232b4db7c08c184229f.zip | |
Temporarily ignore duplicated url and deps crates
| -rw-r--r-- | servo-tidy.toml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/servo-tidy.toml b/servo-tidy.toml index 8f5ff1ba1de..42a253b1aa7 100644 --- a/servo-tidy.toml +++ b/servo-tidy.toml @@ -37,6 +37,7 @@ packages = [ "crossbeam-deque", "euclid", # https://github.com/servo/rust-webvr/pull/89 "gl_generator", # https://github.com/servo/servo/pull/23288#issuecomment-494687746 + "idna", # https://github.com/servo/servo/pull/23838 "lock_api", "log", "mime", @@ -44,9 +45,11 @@ packages = [ "nix", # https://github.com/servo/servo/issues/23189#issuecomment-487512605 "parking_lot", "parking_lot_core", + "percent-encoding", # https://github.com/servo/servo/pull/23838 "rand_core", "scopeguard", "unicase", + "url", # https://github.com/servo/servo/pull/23838 ] # Files that are ignored for all tidy and lint checks. files = [ |