diff options
author | John MacFarlane <jgm@berkeley.edu> | 2016-06-24 21:55:27 -0700 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2016-06-24 21:55:27 -0700 |
commit | ce5671ae0289b05322c09bb80af2d3317acd544f (patch) | |
tree | d63a88d3b29046162d5eec6145d5887202f433dc /man/make_man_page.py | |
parent | 0d546c29f28f6c185105a06d0fb3669f7647b9f2 (diff) |
Removed redundant check.
Diffstat (limited to 'man/make_man_page.py')
0 files changed, 0 insertions, 0 deletions