mirror of
https://github.com/servo/servo.git
synced 2025-08-07 06:25:32 +01:00
style: Remove unused extra_servo_aliases.
Signed-off-by: Emilio Cobos Álvarez <emilio@crisal.io>
This commit is contained in:
parent
680f8368ef
commit
aa0fe64a0d
2 changed files with 4 additions and 10 deletions
|
@ -617,8 +617,8 @@
|
|||
keyword_kwargs = {a: kwargs.pop(a, None) for a in [
|
||||
'gecko_constant_prefix', 'gecko_enum_prefix',
|
||||
'extra_gecko_values', 'extra_servo_values',
|
||||
'aliases', 'extra_gecko_aliases', 'extra_servo_aliases',
|
||||
'custom_consts', 'gecko_inexhaustive', 'gecko_strip_moz_prefix',
|
||||
'aliases', 'extra_gecko_aliases', 'custom_consts',
|
||||
'gecko_inexhaustive', 'gecko_strip_moz_prefix',
|
||||
]}
|
||||
%>
|
||||
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue