diff options
| author | bors-servo <release+servo@mozilla.com> | 2013-10-05 16:46:04 -0700 |
|---|---|---|
| committer | bors-servo <release+servo@mozilla.com> | 2013-10-05 16:46:04 -0700 |
| commit | 6832f4feec2d92ff92e0ef037020478da45d7945 (patch) | |
| tree | 991e5864013c8af9e130df29f36284e74e3c795d /src/components/script/dom/text.rs | |
| parent | f13438d012363eef5d65cb32ffe2d1aab28ec07f (diff) | |
| parent | 8df49c1c1d02f2a929ba25092ac8eaa6a284bf29 (diff) | |
| download | servo-6832f4feec2d92ff92e0ef037020478da45d7945.tar.gz servo-6832f4feec2d92ff92e0ef037020478da45d7945.zip | |
auto merge of #1017 : SimonSapin/servo/external-UA-css, r=jdm
… as suggested in https://github.com/mozilla/servo/pull/1015#issuecomment-25755957
Also add a comment on the `border-width` work-around.
Diffstat (limited to 'src/components/script/dom/text.rs')
0 files changed, 0 insertions, 0 deletions