diff options
| author | Guilhem Moulin <guilhem@fripost.org> | 2022-02-22 23:41:19 +0100 |
|---|---|---|
| committer | Guilhem Moulin <guilhem@fripost.org> | 2022-02-23 00:01:41 +0100 |
| commit | 6f6acf57255a7602235792c248d5d4926794395a (patch) | |
| tree | c77aab389040383ff6c63ff0e460092bdad1c70d /pullimap | |
| parent | 7ee950907f27dcb50da1821d206aeffe3d25c5c1 (diff) | |
Makefile: Improve DESTDIR= handling.
Per https://www.gnu.org/prep/standards/html_node/DESTDIR.html .
Diffstat (limited to 'pullimap')
0 files changed, 0 insertions, 0 deletions