diff options
| author | bors-servo <servo-ops@mozilla.com> | 2020-07-06 12:32:28 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-07-06 12:32:28 -0400 |
| commit | 1329e07c7406d85e6ab78585df65309731086a32 (patch) | |
| tree | 99e458074dca66b56e1c03074956ca5a972fe531 /components/webgpu/lib.rs | |
| parent | 1cd78e78f60bf732baffc54be207b3fa646488f3 (diff) | |
| parent | 1a8c5fed6f53b2a4b5ed120193acd10a4ffcb2c6 (diff) | |
| download | servo-1329e07c7406d85e6ab78585df65309731086a32.tar.gz servo-1329e07c7406d85e6ab78585df65309731086a32.zip | |
Auto merge of #27183 - servo:dummy, r=ferjm
Add `.servobuild` configuration for the choice of media stack
Diffstat (limited to 'components/webgpu/lib.rs')
0 files changed, 0 insertions, 0 deletions