diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2017-05-11T13·09+0200 |
---|---|---|
committer | Eelco Dolstra <edolstra@gmail.com> | 2017-05-11T13·10+0200 |
commit | 510bc1735b3507b0f434303fdec5e824c879c838 (patch) | |
tree | 2fdc36553cf45856900c01a1064c688caef37e32 /src/nix-channel | |
parent | 62d476c7ee5dbb79fb435895e0cda3fac8f53ba3 (diff) |
Add an option for extending the user agent header
This is useful e.g. for distinguishing traffic to a binary cache (e.g. certain machines can use a different tag in the user agent).
Diffstat (limited to 'src/nix-channel')
0 files changed, 0 insertions, 0 deletions