diff options
author | John MacFarlane <jgm@berkeley.edu> | 2015-01-11 20:41:45 -0800 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2015-01-11 20:41:45 -0800 |
commit | 8950065009608ec71bd86516de8f66a9646557ee (patch) | |
tree | 46066aa5cd343fd8011b65e355e8e49908f2f1b1 /man/make_man_page.py | |
parent | 1d3d498da8afa35516dffc636238e0388c6d4d2c (diff) |
xml.c: Include level attribute in header.
Diffstat (limited to 'man/make_man_page.py')
0 files changed, 0 insertions, 0 deletions