tree 90c5426cc4d7e4b700cb680803df15432bb5a691
parent 278460294e560ec928a6716fb8084585e12e8140
author Philipp Wollermann <philwo@google.com> 1515176385 +0100
committer Philipp Wollermann <philwo@google.com> 1515176385 +0100

Use the JNLP tunnel mechanism for Windows, too.