diff options
author | bors-servo <metajack+bors@gmail.com> | 2015-05-12 14:47:49 -0500 |
---|---|---|
committer | bors-servo <metajack+bors@gmail.com> | 2015-05-12 14:47:49 -0500 |
commit | 398e7f07fe0c5b0f0c9e8c05b8962011c83505d3 (patch) | |
tree | 5cac919f203fca950c1f46c75cc5bcf7f0bebd7e /python/servo/build_commands.py | |
parent | 76225bdccb5105764d979b4d739d4d8edfc98bfe (diff) | |
parent | 69f92596cabcbd716fa5686232b8cc04e61bafe9 (diff) | |
download | servo-398e7f07fe0c5b0f0c9e8c05b8962011c83505d3.tar.gz servo-398e7f07fe0c5b0f0c9e8c05b8962011c83505d3.zip |
Auto merge of #6019 - Ms2ger:preshint-border, r=pcwalton
<!-- Reviewable:start -->
[<img src="https://reviewable.io/review_button.png" height=40 alt="Review on Reviewable"/>](https://reviewable.io/reviews/servo/servo/6019)
<!-- Reviewable:end -->
Diffstat (limited to 'python/servo/build_commands.py')
0 files changed, 0 insertions, 0 deletions