diff options
author | bors-servo <lbergstrom+bors@mozilla.com> | 2017-08-21 16:11:20 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-08-21 16:11:20 -0500 |
commit | 10779f02519b193f07df997ab013ce7ca45cf656 (patch) | |
tree | 3fb643b8dd561fdfbeb8b567c7cda5144b9de4da /components/layout_thread/lib.rs | |
parent | 181f41ed378bba8be0028c571e5efa4fe6b02956 (diff) | |
parent | e1b1bc7c96a80516e6684d5a76b8614cfb22b03e (diff) | |
download | servo-10779f02519b193f07df997ab013ce7ca45cf656.tar.gz servo-10779f02519b193f07df997ab013ce7ca45cf656.zip |
Auto merge of #18077 - glennw:wr-profiling, r=emilio
Add key bindings for more WR debug / profiler options.
<!-- 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/18077)
<!-- Reviewable:end -->
Diffstat (limited to 'components/layout_thread/lib.rs')
0 files changed, 0 insertions, 0 deletions