diff options
author | Josh Matthews <josh@joshmatthews.net> | 2019-07-04 10:07:28 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-07-04 10:07:28 -0400 |
commit | aa41fee181b0804ef471c5eb64f2efa742c5bd08 (patch) | |
tree | 20af922f3597ce5b5fc3387afcc7b379b0fc3d68 /components/script_plugins | |
parent | 29097d15d031f9f0d18a284cf8db25c072b3b070 (diff) | |
download | servo-aa41fee181b0804ef471c5eb64f2efa742c5bd08.tar.gz servo-aa41fee181b0804ef471c5eb64f2efa742c5bd08.zip |
Ensure GL context is prepared for deinitialization.
Diffstat (limited to 'components/script_plugins')
0 files changed, 0 insertions, 0 deletions