diff options
author | bors-servo <lbergstrom+bors@mozilla.com> | 2017-04-11 10:12:13 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-04-11 10:12:13 -0500 |
commit | df67977704b5aa0741e4caf6ce5d5d6cd4e9f334 (patch) | |
tree | e54c52dd597c7c54cb1ffbea01da367b1c4d0362 /python/servo/devenv_commands.py | |
parent | 2544c085214f368ec0a189bd8aefd7d83f75563b (diff) | |
parent | 78a34084058ee11a635917b05f1ab2882a6e12c1 (diff) | |
download | servo-df67977704b5aa0741e4caf6ce5d5d6cd4e9f334.tar.gz servo-df67977704b5aa0741e4caf6ce5d5d6cd4e9f334.zip |
Auto merge of #16342 - emilio:media-query-parsing, r=SimonSapin
Fix a few media query parsing bugs.
<!-- Reviewable:start -->
This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/16342)
<!-- Reviewable:end -->
Diffstat (limited to 'python/servo/devenv_commands.py')
0 files changed, 0 insertions, 0 deletions