diff options
| author | Thomas Voss <mail@thomasvoss.com> | 2022-10-15 12:27:55 +0200 |
|---|---|---|
| committer | Thomas Voss <mail@thomasvoss.com> | 2022-10-15 12:27:55 +0200 |
| commit | 129fddd44da838e8c60cc798ebc121d6d3c72d57 (patch) | |
| tree | b4968fe792a25f7379f3655ac66da98f69eb7a77 /.gitignore | |
| parent | 106b303b1f76b8b92c89fb4f54c1f97ddbac5d2c (diff) | |
Use the MANDIR variable
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions