diff options
| author |  Joey Hess <joeyh@joeyh.name> | 2016-01-11 12:10:38 -0400 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2016-01-11 12:10:38 -0400 |
| commit | 705054e5b89fe230909bff9d4dca5fee40eff7e8 (patch) | |
| tree | cb13a06fe242481245a8e75d595e38f236c7fe23 /Utility/HumanNumber.hs | |
| parent | 5297b375483b2e90bec2bf1558abaddaa602732d (diff) | |
When annex.http-headers is used to set the User-Agent header, avoid sending User-Agent: git-annex
Diffstat (limited to 'Utility/HumanNumber.hs')
0 files changed, 0 insertions, 0 deletions