diff options
author | bors-servo <lbergstrom+bors@mozilla.com> | 2016-11-04 03:11:32 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-11-04 03:11:32 -0500 |
commit | 651e40f33eff08f836b76024b77bddc77089490c (patch) | |
tree | f66c3852464fc5f4019e6c0e708ca2f7d73d91f0 /components/script/dom/htmlformelement.rs | |
parent | 0c6a277b099683e8cb87630fb6483bc89ed09aa4 (diff) | |
parent | 2843f069334932dbf0b3a087fd53300f349390fb (diff) | |
download | servo-651e40f33eff08f836b76024b77bddc77089490c.tar.gz servo-651e40f33eff08f836b76024b77bddc77089490c.zip |
Auto merge of #14057 - glennw:update-wr-keys, r=metajack
Update WR, add some key mappings, bind Ctrl-F12 to WR profiler.
<!-- 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/14057)
<!-- Reviewable:end -->
Diffstat (limited to 'components/script/dom/htmlformelement.rs')
0 files changed, 0 insertions, 0 deletions