diff options
author | P. J. McDermott <pj@pehjota.net> | 2014-08-25 20:34:09 (EDT) |
---|---|---|
committer | P. J. McDermott <pj@pehjota.net> | 2014-08-25 20:34:09 (EDT) |
commit | dd6ab0e30024bf60bd9d32a5c1b6bd4c4ed9e397 (patch) | |
tree | a6f103dd8d9a940daabdc7e265fd076846b0eb85 /man/prokit-shell.1in | |
parent | acb04051bc067bc74435f489e8265442c5fa82a8 (diff) |
man/local.mk: Add new manual pages to man1_sources
Diffstat (limited to 'man/prokit-shell.1in')
0 files changed, 0 insertions, 0 deletions