diff options
| author | bors-servo <servo-ops@mozilla.com> | 2020-04-22 23:48:43 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-04-22 23:48:43 -0400 |
| commit | 5504d9259d59bb80e019ed1563b213dcf56fc86a (patch) | |
| tree | 338b6eedd434aed248e6550f6be20a7ef7f74756 /components/script/dom/webglshader.rs | |
| parent | f3230870f24027fdfd64c994d6ff653a5fdbf3d3 (diff) | |
| parent | 2fd13b302b99099f079bfedf1ef1cedfdb032155 (diff) | |
| download | servo-5504d9259d59bb80e019ed1563b213dcf56fc86a.tar.gz servo-5504d9259d59bb80e019ed1563b213dcf56fc86a.zip | |
Auto merge of #26276 - emilio:gecko-sync, r=emilio
style: Sync changes from mozilla-central.
See individual commits for details, though this is a very small sync.
Diffstat (limited to 'components/script/dom/webglshader.rs')
0 files changed, 0 insertions, 0 deletions