tutorials
tutorials copied to clipboard
Add -Djava.net.useSystemProxies=true tip to sections about proxy configuration
Might be simpler than the manually configured http.proxyHost/http.proxyPort/https.proxyHost/https.proxyPort combo we currently recommend. See also https://github.com/imagej/pyimagej/issues/121#issuecomment-1089409309