diff options
author | John MacFarlane <jgm@berkeley.edu> | 2015-07-25 15:57:19 -0700 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2015-07-25 15:57:19 -0700 |
commit | cdc1730336ee8d335e086cf69ff0f46912261b59 (patch) | |
tree | a666d3510ca1bbcb68cf4b97ef5fe3f405832c5f /man/make_man_page.py | |
parent | 2c8ce48a3c75a28ac2f5bee5a2d3b8cfda5e66b3 (diff) |
Avoided another use of strbuf_printf.
Diffstat (limited to 'man/make_man_page.py')
0 files changed, 0 insertions, 0 deletions