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 /scripts | |
| parent | 44ad33843a5653bf9e49b37d7fdd2903a9142ee0 (diff) | |
doc: Document 'http_proxy'.
* doc/guix.texi (Build Environment Setup, Substitutes): Document
'http_proxy'.
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions