diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2019-01-02 08:25:44 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-01-02 08:25:44 -0500 |
| commit | 721d2a8abdcc78971001928347cd1f7b96571fbb (patch) | |
| tree | 96954101dd3502c60e6ec8c14a2c8deb52fb2fb8 /python/servo/devenv_commands.py | |
| parent | 4b091ef59bd280590540557fcb62b1f5efdc385a (diff) | |
| parent | 72e08cae6d77e5ad203f5fc891e520526d8771c7 (diff) | |
| download | servo-721d2a8abdcc78971001928347cd1f7b96571fbb.tar.gz servo-721d2a8abdcc78971001928347cd1f7b96571fbb.zip | |
Auto merge of #22582 - servo:jdm-patch-28, r=SimonSapin
Fix appveyor build
Attempting to fix #22476.
<!-- 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/22582)
<!-- Reviewable:end -->
Diffstat (limited to 'python/servo/devenv_commands.py')
0 files changed, 0 insertions, 0 deletions