diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2015-12-01 05:26:00 +0530 |
|---|---|---|
| committer | bors-servo <lbergstrom+bors@mozilla.com> | 2015-12-01 05:26:00 +0530 |
| commit | b4906aa008325963348b6cc13bbcf8d2a4c9d694 (patch) | |
| tree | be562aebadd8e0b3c5818067e2195d9d48ec23a1 /components/script/dom/htmlheadingelement.rs | |
| parent | 51c19fd733a863f2fae05e693795dbecce69f2ed (diff) | |
| parent | 6c8905126f9e33be5466d69a78443a3fa6f33746 (diff) | |
| download | servo-b4906aa008325963348b6cc13bbcf8d2a4c9d694.tar.gz servo-b4906aa008325963348b6cc13bbcf8d2a4c9d694.zip | |
Auto merge of #8755 - glennw:vsync, r=pcwalton
Add debug option to disable vsync for profiling.
<!-- Reviewable:start -->
[<img src="https://reviewable.io/review_button.png" height=40 alt="Review on Reviewable"/>](https://reviewable.io/reviews/servo/servo/8755)
<!-- Reviewable:end -->
Diffstat (limited to 'components/script/dom/htmlheadingelement.rs')
0 files changed, 0 insertions, 0 deletions