diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2020-08-23 10:58:08 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2020-08-23 10:58:08 -0700 |
| commit | cef66d42f91d934ce8bd058cd7c76b87f78628a7 (patch) | |
| tree | 6e9443de0362e62c49f269b0473e23ad5c84379e /man/make_man_page.py | |
| parent | 06e3af57a1ed7b07560974877b5280504eaefb63 (diff) | |
Add MAX_INDENT for xml.
Otherwise we can get quadratic increase in size with deeply
nested structures.
See #355.
Diffstat (limited to 'man/make_man_page.py')
0 files changed, 0 insertions, 0 deletions