Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-06-06 16:45:39 +00:00
Code Issues Projects Releases Packages Wiki Activity

Update uuid

Browse source 
This is required to use the new version of gleam and update ipc-channels
without duplicating the dependency in the future.
This commit is contained in:
Martin Robinson 2023-06-26 14:37:10 +02:00
parent edeed11cef
commit 78464eeabc
8 changed files with 34 additions and 25 deletions
Download patch file Download diff file Expand all files Collapse all files

3
servo-tidy.toml
View file

@ -72,6 +72,9 @@ packages = [
# Duplicated by winit/surfman update.
"raw-window-handle",
# Temporarily duplicated until ipc-channels and gleam can be upgrded.
"uuid",
]
# Files that are ignored for all tidy and lint checks.
files = [