diff options
author | Anthony Ramine <n.oxyde@gmail.com> | 2017-05-23 14:14:15 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-05-23 14:14:15 +0200 |
commit | 46099db0155d7374ae2f9a0c9d72b09d751c19c6 (patch) | |
tree | d2e49018aa104616df64048585e683bd300b0ab1 /components/script/timers.rs | |
parent | 11d8322e6cf88eb3bd9e8ad22c0c6e7c68d744f6 (diff) | |
parent | 7f1794bb5cfaf2c49cd2f841cf9d6defe182a483 (diff) | |
download | servo-46099db0155d7374ae2f9a0c9d72b09d751c19c6.tar.gz servo-46099db0155d7374ae2f9a0c9d72b09d751c19c6.zip |
Rollup merge of #16939 - Manishearth:bool, r=nox
Use boolean instead of float to avoid nightly warning
<!-- 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/16939)
<!-- Reviewable:end -->
Diffstat (limited to 'components/script/timers.rs')
0 files changed, 0 insertions, 0 deletions