diff options
| author | Amin Bandali <bandali@gnu.org> | 2018-11-08 21:44:04 -0500 |
|---|---|---|
| committer | Amin Bandali <bandali@gnu.org> | 2018-11-08 21:44:04 -0500 |
| commit | 5a343a2103c211c95ed918d5df176b7bd6ced0be (patch) | |
| tree | e1ac349838f49337fedc89ae9e70bd72c3fc6d94 /lib/pdf-tools | |
| parent | 2f6c16524d690e5981486b1a6e9bd816e83ae12a (diff) | |
| download | configs-5a343a2103c211c95ed918d5df176b7bd6ced0be.tar.gz configs-5a343a2103c211c95ed918d5df176b7bd6ced0be.tar.xz configs-5a343a2103c211c95ed918d5df176b7bd6ced0be.zip | |
[emacs/gnus] show the User-Agent header in article/mail summary
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions