mirror of
https://github.com/servo/servo.git
synced 2025-08-10 07:55:33 +01:00
style: Fix Servo build.
This commit is contained in:
parent
856886c40d
commit
1505eaaade
3 changed files with 4 additions and 54 deletions
|
@ -111,6 +111,7 @@ ${helpers.predefined_type(
|
|||
vector=False,
|
||||
animation_value_type="discrete",
|
||||
flags="APPLIES_TO_FIRST_LETTER",
|
||||
boxed=product == "servo",
|
||||
)}
|
||||
|
||||
${helpers.predefined_type(
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue