diff options
author | bors-servo <lbergstrom+bors@mozilla.com> | 2019-11-08 20:55:11 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-11-08 20:55:11 -0500 |
commit | 87432c71d0f95f10dbae44bdb080fe51333dd3d5 (patch) | |
tree | e5fbb0c591d7413d40b63f11945def4dcb41d14b /components/script/script_runtime.rs | |
parent | 970f7163e9ad252561fdfb72a48ede069bb6a912 (diff) | |
parent | c8fd64f5cea9d83794c9afec98677bd6c5850630 (diff) | |
download | servo-87432c71d0f95f10dbae44bdb080fe51333dd3d5.tar.gz servo-87432c71d0f95f10dbae44bdb080fe51333dd3d5.zip |
Auto merge of #24697 - servo:cleanup, r=jdm
Clean-up post Taskcluster migration
The parts of the configuration that are require a separate deployment step and are not applied automatically when a PR lands in this repository have moved to https://github.com/servo/taskcluster-config
Diffstat (limited to 'components/script/script_runtime.rs')
0 files changed, 0 insertions, 0 deletions