diff options
author | Brice Waegeneire <brice@waegenei.re> | 2020-05-12 15:56:01 +0200 |
---|---|---|
committer | Brice Waegeneire <brice@waegenei.re> | 2020-05-13 10:53:11 +0200 |
commit | 15014dc61858e14e3356c7489cd366555085048b (patch) | |
tree | ee3edb67bfd54d8d3ea8e87634281d5a55b08f30 /gnu/local.mk | |
parent | e91c0cd88b556d272ca52c5247ac4af632e1a7cd (diff) | |
download | guix-patches-15014dc61858e14e3356c7489cd366555085048b.tar guix-patches-15014dc61858e14e3356c7489cd366555085048b.tar.gz |
doc: Mention guix-daemon's 'https_proxy' environment variable.
* doc/guix.texi (Proxy Settings, Derivations): Mention 'https_proxy'.
Diffstat (limited to 'gnu/local.mk')
0 files changed, 0 insertions, 0 deletions