diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2017-05-11 15:09:09 +0200 |
---|---|---|
committer | Eelco Dolstra <edolstra@gmail.com> | 2017-05-11 15:10:22 +0200 |
commit | 510bc1735b3507b0f434303fdec5e824c879c838 (patch) | |
tree | 2fdc36553cf45856900c01a1064c688caef37e32 /tests/nix-shell.sh | |
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 'tests/nix-shell.sh')
0 files changed, 0 insertions, 0 deletions