diff options
author | defanor <defanor@uberspace.net> | 2018-01-11 02:02:19 +0300 |
---|---|---|
committer | defanor <defanor@uberspace.net> | 2018-01-11 02:02:19 +0300 |
commit | d3dfa486e660ac4cf006a28b4aeb09b6f6356c8e (patch) | |
tree | 5f4c5f88bf7addb358e5a27b9342f1c17e925892 /Pancake/Common.hs | |
parent | e572364d0547d1fb4cf98904c01e4f856d7fab0c (diff) |
Set curl's user agent to pancake by default
Some websites, e.g. acm.org, block clients that identify themselves as
curl.
Diffstat (limited to 'Pancake/Common.hs')
0 files changed, 0 insertions, 0 deletions