diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2020-03-05 04:30:19 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-03-05 04:30:19 -0500 |
| commit | ac6df52d2c850199bd0890f9cba3d3a1a51e037b (patch) | |
| tree | 91963e26d811af866c79fc56c87e9d663d82b05e /components/script/dom/processinginstruction.rs | |
| parent | d5724ccbf44802b3e7f7f3ff2b942d8ad2fd5ced (diff) | |
| parent | 1898b7c59f0e0a944fd4f500c488e24bb00f69ed (diff) | |
| download | servo-ac6df52d2c850199bd0890f9cba3d3a1a51e037b.tar.gz servo-ac6df52d2c850199bd0890f9cba3d3a1a51e037b.zip | |
Auto merge of #25899 - servo:jdm-patch-41, r=paulrouget
Disable devtools for HoloLens.
Apparently new pre-release OS images have something using port 6000 and this makes it impossible to start our app. Let's disable it for the short term.
Diffstat (limited to 'components/script/dom/processinginstruction.rs')
0 files changed, 0 insertions, 0 deletions