diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2020-03-16 15:38:23 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-03-16 15:38:23 -0400 |
| commit | fdc725925dc467495fa09d407ede837eb2431ad4 (patch) | |
| tree | 3351fc699422dc442034f172e3ea56de791a477c /components/script/dom/webgl_extensions | |
| parent | 654dd048a3fe4578883ce38616199f06cf850111 (diff) | |
| parent | 00395125f6c994a08285271d1d9f6d926f511bba (diff) | |
| download | servo-fdc725925dc467495fa09d407ede837eb2431ad4.tar.gz servo-fdc725925dc467495fa09d407ede837eb2431ad4.zip | |
Auto merge of #25967 - paulrouget:devtoolsToast, r=Manishearth
Re-enabling devtools on UWP
Diffstat (limited to 'components/script/dom/webgl_extensions')
0 files changed, 0 insertions, 0 deletions