diff options
author | Josh Matthews <josh@joshmatthews.net> | 2019-07-25 20:43:57 -0400 |
---|---|---|
committer | Josh Matthews <josh@joshmatthews.net> | 2019-07-25 23:07:23 -0400 |
commit | a2ca3ddbd95f45e8e02eaa4ed39ab7283fc49aa3 (patch) | |
tree | fc7aa7243321a44350d7b81f072e10184f2cce28 /components/script/dom/htmlpreelement.rs | |
parent | d7269ad3c667ac71226380abd0002d2f7109bd01 (diff) | |
download | servo-a2ca3ddbd95f45e8e02eaa4ed39ab7283fc49aa3.tar.gz servo-a2ca3ddbd95f45e8e02eaa4ed39ab7283fc49aa3.zip |
Remove extra webgl message pumping thread.
Diffstat (limited to 'components/script/dom/htmlpreelement.rs')
0 files changed, 0 insertions, 0 deletions