diff options
author | P. J. McDermott <pj@pehjota.net> | 2019-03-21 17:39:16 (EDT) |
---|---|---|
committer | P. J. McDermott <pj@pehjota.net> | 2019-03-21 17:39:16 (EDT) |
commit | d9aa15f7480f3f15208267b20b17ac6a04f2fd78 (patch) | |
tree | 13012905a5bb8115ddfe052763e516c52a566469 /man/oh_warn.3.in | |
parent | 032e6186fe8dd3c54b9e027cb63fff3127e2d559 (diff) |
Revert "tools/shld.sh, tools/shpp.sh: Add"
This reverts commit 032e6186fe8dd3c54b9e027cb63fff3127e2d559.
Build system improvements will come some other time.
Diffstat (limited to 'man/oh_warn.3.in')
0 files changed, 0 insertions, 0 deletions