diff options
author | Ludovic Courtès <ludo@gnu.org> | 2016-01-18 15:28:30 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2016-01-18 17:41:16 +0100 |
commit | e0c941fefa0769bd834cee220a640ce5b9b0c3f6 (patch) | |
tree | c418acce79f6988f3d7bd9acce3e7891914072f8 /TODO | |
parent | 44ad33843a5653bf9e49b37d7fdd2903a9142ee0 (diff) | |
download | patches-e0c941fefa0769bd834cee220a640ce5b9b0c3f6.tar patches-e0c941fefa0769bd834cee220a640ce5b9b0c3f6.tar.gz |
doc: Document 'http_proxy'.
* doc/guix.texi (Build Environment Setup, Substitutes): Document
'http_proxy'.
Diffstat (limited to 'TODO')
0 files changed, 0 insertions, 0 deletions