diff options
| author | Teddy Wing | 2020-08-06 00:26:54 +0200 |
|---|---|---|
| committer | Teddy Wing | 2020-08-06 00:26:54 +0200 |
| commit | 1679cca32210b741677ef9cf48839cd951980cd9 (patch) | |
| tree | 05cddb1cae642c6053f704a6beaa2ac1ea890260 /src/config.rs | |
| parent | 16ff238363973e980201f441a802308257c382b0 (diff) | |
| download | git-suggestion-1679cca32210b741677ef9cf48839cd951980cd9.tar.bz2 | |
Makefile: Put distribution man pages in `dist/share/man/man1/`
Diffstat (limited to 'src/config.rs')
0 files changed, 0 insertions, 0 deletions