]> git.donarmstrong.com Git - debian/debian-policy.git/commitdiff
Synchronized with patch 221 from Manojs tree
authorManoj Srivastava <srivasta@debian.org>
Thu, 16 Jun 2005 10:17:44 +0000 (10:17 +0000)
committerManoj Srivastava <srivasta@debian.org>
Thu, 16 Jun 2005 10:17:44 +0000 (10:17 +0000)
Synchronized with patch 221 from Manojs tree

Patches applied:

 * srivasta@debian.org--etch/debian-policy--devel--3.0--patch-221
   gzipped ps and pdf (hm, there should probably be a way to make the .gz rules more generic, but i can't be bothered to look it up)

git-archimport-id: debian-policy@lists.debian.org--etch/debian-policy--devel--3.0--patch-221


Trivial merge