diff options
| author | Yuki Izumi <kivikakk@github.com> | 2017-05-05 18:02:34 +1000 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2017-05-05 10:02:34 +0200 |
| commit | 6313fff5f9482bdc0489dd19bf9c4ff6ed817e71 (patch) | |
| tree | 7a3b05970662eee284fd70e68d21c49e4fb16e8f /man/make_man_page.py | |
| parent | 12501f1000f592ff67cca98b6733f0bfa3115f9f (diff) | |
Remove normalize as an option per #190 (#194)
Diffstat (limited to 'man/make_man_page.py')
0 files changed, 0 insertions, 0 deletions