Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-06-28 11:03:39 +01:00
Code Issues Projects Releases Packages Wiki Activity
45150 commits 150 branches 5 tags 1.5 GiB
Commit graph

4 commits

Author SHA1 Message Date
sagudev
9c2cc05a8e Upgrade remaining components to edition 2018 2023-02-18 09:42:37 +01:00
Emilio Cobos Álvarez
e227715aee
style: Miscellaneous Servo build fixes. 2020-02-12 02:43:23 +01:00
Emilio Cobos Álvarez
e3e826d4fb style: Appease tidy. 2019-05-29 16:14:31 +02:00
Emilio Cobos Álvarez
a109fbb7c8 style: Use ArcSlice for quotes. 
This saves the intermediate allocation.

Differential Revision: https://phabricator.services.mozilla.com/D30546
 2019-05-29 16:14:10 +02:00