summaryrefslogtreecommitdiff
path: root/man/make_man_page.py
diff options
context:
space:
mode:
authorYuki Izumi <kivikakk@github.com>2017-05-05 18:02:34 +1000
committerJohn MacFarlane <jgm@berkeley.edu>2017-05-05 10:02:34 +0200
commit6313fff5f9482bdc0489dd19bf9c4ff6ed817e71 (patch)
tree7a3b05970662eee284fd70e68d21c49e4fb16e8f /man/make_man_page.py
parent12501f1000f592ff67cca98b6733f0bfa3115f9f (diff)
Remove normalize as an option per #190 (#194)
Diffstat (limited to 'man/make_man_page.py')
0 files changed, 0 insertions, 0 deletions