diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2019-09-05 18:40:32 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-09-05 18:40:32 -0400 |
| commit | 2b31c0a64478cb2c15038151d147673a2b51896c (patch) | |
| tree | 4a11a2dbd7f04b7baab686256c8e7731f7fd0cde /python/servo/devenv_commands.py | |
| parent | 524e135573c83bddf4d6203e9edf1ed5f074c9cb (diff) | |
| parent | 67f59f5caef401a1503e2b3ef9a850636e2bb43a (diff) | |
| download | servo-2b31c0a64478cb2c15038151d147673a2b51896c.tar.gz servo-2b31c0a64478cb2c15038151d147673a2b51896c.zip | |
Auto merge of #24140 - Manishearth:nuget-openxr, r=jdm
Use OpenXR loader from NuGet
No need to manually download the DLL
r? @jdm
<!-- Reviewable:start -->
---
This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/24140)
<!-- Reviewable:end -->
Diffstat (limited to 'python/servo/devenv_commands.py')
0 files changed, 0 insertions, 0 deletions