diff options
author | John MacFarlane <jgm@berkeley.edu> | 2014-11-30 13:55:47 -0800 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2014-11-30 13:55:47 -0800 |
commit | 48d19922aa25838e96291759ed8a539f809a80b8 (patch) | |
tree | 6b3a38e3c97048347f0ead5b560ce0324888b3c0 /js | |
parent | d5214cca36023d0a0234e2de0f7eed0b5e2e03b5 (diff) |
Fixed bug in splitting arguments in make_man_page.py.
Diffstat (limited to 'js')
0 files changed, 0 insertions, 0 deletions