diff options
author | bors-servo <metajack+bors@gmail.com> | 2015-04-21 08:05:48 -0500 |
---|---|---|
committer | bors-servo <metajack+bors@gmail.com> | 2015-04-21 08:05:48 -0500 |
commit | fe61cdc95da968c21bc15d01cdb16e470f67c492 (patch) | |
tree | c640fd8a74700c55ffdd02f670276e39fc466526 /python/servo/devenv_commands.py | |
parent | e4b620ea54c94e03095e4108bce94ec750416bba (diff) | |
parent | d0138443d5ccc577b72ff8630ae8f2c7526db317 (diff) | |
download | servo-fe61cdc95da968c21bc15d01cdb16e470f67c492.tar.gz servo-fe61cdc95da968c21bc15d01cdb16e470f67c492.zip |
Auto merge of #5758 - dhananjay92:Issue#5735, r=jdm
Solves #5735.
<!-- Reviewable:start -->
[<img src="https://reviewable.io/review_button.png" height=40 alt="Review on Reviewable"/>](https://reviewable.io/reviews/servo/servo/5758)
<!-- Reviewable:end -->
Diffstat (limited to 'python/servo/devenv_commands.py')
0 files changed, 0 insertions, 0 deletions