diff options
author | bors-servo <lbergstrom+bors@mozilla.com> | 2017-09-28 03:29:09 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-09-28 03:29:09 -0500 |
commit | 7574d2647699e211638379f8f89760c57a1d6cc8 (patch) | |
tree | ee3659b8cc0898922167c51a6467dfb08a7a2b45 /python/servo/command_base.py | |
parent | 01adcf69d794b09396ea469a4fe2ca3324ef9306 (diff) | |
parent | f6a350b725fe9c651023fd5bfde40608f90f3c5a (diff) | |
download | servo-7574d2647699e211638379f8f89760c57a1d6cc8.tar.gz servo-7574d2647699e211638379f8f89760c57a1d6cc8.zip |
Auto merge of #18659 - emilio:unship-stuff, r=xidorn
stylo: unship some stuff.
<!-- 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/18659)
<!-- Reviewable:end -->
Diffstat (limited to 'python/servo/command_base.py')
0 files changed, 0 insertions, 0 deletions