diff options
| author | Michael Muré <batolettre@gmail.com> | 2022-10-11 20:20:51 +0200 |
|---|---|---|
| committer | Michael Muré <batolettre@gmail.com> | 2022-10-11 20:20:51 +0200 |
| commit | 0eef93917d1c3b1f6e346ab272a51340acafe21a (patch) | |
| tree | 2b7c2760c695f3f1623db055d9fe88d9189459b8 /doc/man | |
| parent | a769deba2d1ca2c546dea104c46f3616723f20a5 (diff) | |
| download | git-bug-0eef93917d1c3b1f6e346ab272a51340acafe21a.tar.gz | |
makefile: better PHONY
Diffstat (limited to 'doc/man')
0 files changed, 0 insertions, 0 deletions