diff options
| author | Sergey M․ <dstftw@gmail.com> | 2018-08-14 23:27:12 +0700 |
|---|---|---|
| committer | Sergey M․ <dstftw@gmail.com> | 2018-08-14 23:27:12 +0700 |
| commit | 60c0856223391864135694197db2d17125fe4e8e (patch) | |
| tree | 96ff50d0bfe8a252a505a761c7f51ee5f2284384 /docs/conf.py | |
| parent | 57c68ec4c303f471b2519db21b9b56c080d88338 (diff) | |
[utils] Use pure browser header for User-Agent (closes #17236)
Diffstat (limited to 'docs/conf.py')
0 files changed, 0 insertions, 0 deletions