diff options
author | David Kalnischkies <david@kalnischkies.de> | 2016-04-09 13:30:59 +0200 |
---|---|---|
committer | Julian Andres Klode <jak@debian.org> | 2016-08-31 13:49:37 +0200 |
commit | 3880929d386eb93e390543e44bf4abdde2ec8c78 (patch) | |
tree | 26538a6798cc3388c963ff9d94bf7cdeeb599217 /doc/manpage-style.xsl | |
parent | 43e01d61c2f9872536ff8b879b58ae367d2ec8cb (diff) |
more explicit MarkRequired algorithm code (part 2)
As the previous commit, this shouldn't change behavior at all, but
beside being more explicit and perhaps faster its also considerably
shorter (granted, mostly by if0-block elimination).
Gbp-Dch: Ignore
(cherry picked from commit 5a3339db48479114a0e1e11ebc8d640eb3e49933)
Diffstat (limited to 'doc/manpage-style.xsl')
0 files changed, 0 insertions, 0 deletions