]> git.donarmstrong.com Git - debian/debian-policy.git/commitdiff
Add IDs to create HTML anchors for (almost) each version.
authorCharles Plessy <plessy@debian.org>
Sun, 25 Dec 2011 21:57:11 +0000 (22:57 +0100)
committerRuss Allbery <rra@debian.org>
Mon, 26 Dec 2011 04:35:07 +0000 (20:35 -0800)
When the minor patch level was not indicated, it was set to zero.  When more
than one minor patch level was indicated, the lowest was used.

See: http://bugs.debian.org/639663


No differences found