Emilio Cobos Álvarez b78489b8af Bug 1518098 - Rename LengthOrPercentage to LengthPercentage. r=jwatt#style ... It does not represent `<length> | <percentage>`, but `<length-percentage>`, so `LengthOrPercentage` is not the right name. This patch is totally autogenerated using: rg 'LengthOrPercentage' servo | cut -d : -f 1 | sort | uniq > files for file in $(cat files); do sed -i "s#LengthOrPercentage#LengthPercentage#g" $file; done Differential Revision: https://phabricator.services.mozilla.com/D15812 --HG-- extra : moz-landing-system : lando		2019-01-07 12:42:42 +00:00
..
unit	Bug 1518098 - Rename LengthOrPercentage to LengthPercentage. r=jwatt#style	2019-01-07 12:42:42 +00:00