diff options
author | P. J. McDermott <pjm@nac.net> | 2012-10-11 11:32:22 (EDT) |
---|---|---|
committer | P. J. McDermott <pjm@nac.net> | 2012-10-11 11:32:22 (EDT) |
commit | 3e383f11d0e5b733cee389fa4be964fb48766710 (patch) | |
tree | 76bcf01259cd03dfff3904a6b1d1eb1bf0b5fd11 /src/oh-strip.sh | |
parent | f9d79e0111443866d7c459f83ae5d41d7f29526e (diff) |
Don't build old manual pages.
Diffstat (limited to 'src/oh-strip.sh')
0 files changed, 0 insertions, 0 deletions