diff options
author | Ralph Amissah <ralph@amissah.com> | 2014-07-11 00:05:23 -0400 |
---|---|---|
committer | Ralph Amissah <ralph@amissah.com> | 2014-07-11 00:05:23 -0400 |
commit | 561b66275f186fcf8f3ed6e697e560f28354d38c (patch) | |
tree | 179f038a7a7299b8efe8f8529b06e1c0d4bd529e /debian/manpages | |
parent | v5 v6: ao_numbering, auto name segment, extract "number" from heading, fix (diff) |
v5 v6: ao_numbering, check that all auto given number based seg names are unique
Diffstat (limited to 'debian/manpages')
0 files changed, 0 insertions, 0 deletions