diff options
author | Ralph Amissah <ralph@amissah.com> | 2014-09-05 23:20:13 -0400 |
---|---|---|
committer | Ralph Amissah <ralph@amissah.com> | 2014-09-05 23:21:09 -0400 |
commit | 98066f7dbc056c75b808b49f8406b7ac21118111 (patch) | |
tree | d71c95e7a6c9862377f38955da0fce23e75c896d /debian | |
parent | v5 v6: ao_numbering, provide more information on duplicate numbering before stop (diff) |
v5 v6: ao_doc_str, if faulty document structure, stop; if --no-stop option, skipsisu_5.6.5
Diffstat (limited to 'debian')
0 files changed, 0 insertions, 0 deletions