diff options
author | bors-servo <lbergstrom+bors@mozilla.com> | 2015-12-22 18:18:23 +0530 |
---|---|---|
committer | bors-servo <lbergstrom+bors@mozilla.com> | 2015-12-22 18:18:23 +0530 |
commit | 1ddcf9463a58a2c4d9b1495cd6b0113af6a5c071 (patch) | |
tree | 3ded39dc71dbe8be13ac59af5f889a4deda2efbc /python/tidy.py | |
parent | df087cc6cf4d97c5cc93befec922b38b56e6def7 (diff) | |
parent | ecc58786b7cf3c187227896d016bddf1a1cccb94 (diff) | |
download | servo-1ddcf9463a58a2c4d9b1495cd6b0113af6a5c071.tar.gz servo-1ddcf9463a58a2c4d9b1495cd6b0113af6a5c071.zip |
Auto merge of #9041 - mrobinson:remove-euclid-workaround, r=jdm
Remove workaround for Rect::is_empty
Now that euclid is up-to-date this workaround is no longer necessary.
<!-- Reviewable:start -->
[<img src="https://reviewable.io/review_button.png" height=40 alt="Review on Reviewable"/>](https://reviewable.io/reviews/servo/servo/9041)
<!-- Reviewable:end -->
Diffstat (limited to 'python/tidy.py')
0 files changed, 0 insertions, 0 deletions