aboutsummaryrefslogtreecommitdiffstats
path: root/doc/pullimap.1.md
diff options
context:
space:
mode:
authorGuilhem Moulin <guilhem@fripost.org>2022-02-22 23:41:19 +0100
committerGuilhem Moulin <guilhem@fripost.org>2022-02-23 00:01:41 +0100
commit6f6acf57255a7602235792c248d5d4926794395a (patch)
treec77aab389040383ff6c63ff0e460092bdad1c70d /doc/pullimap.1.md
parent7ee950907f27dcb50da1821d206aeffe3d25c5c1 (diff)
Makefile: Improve DESTDIR= handling.
Per https://www.gnu.org/prep/standards/html_node/DESTDIR.html .
Diffstat (limited to 'doc/pullimap.1.md')
0 files changed, 0 insertions, 0 deletions