diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2017-08-31 04:57:12 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-08-31 04:57:12 -0500 |
| commit | ed9fb55366845fdcfae9a7418acd73052a0d4757 (patch) | |
| tree | b6ff87d34104aeb99a271f3d548b875e5c013f10 /python/servo/bootstrap_commands.py | |
| parent | cb4ce934299ce97499c766f1b09bd9f1303b5e38 (diff) | |
| parent | f16a0466239b50f74cddfd619161575aad5691fb (diff) | |
| download | servo-ed9fb55366845fdcfae9a7418acd73052a0d4757.tar.gz servo-ed9fb55366845fdcfae9a7418acd73052a0d4757.zip | |
Auto merge of #18309 - servo:webidl, r=jdm
Update the WebIDL parser
<!-- 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/18309)
<!-- Reviewable:end -->
Diffstat (limited to 'python/servo/bootstrap_commands.py')
0 files changed, 0 insertions, 0 deletions