]> git.donarmstrong.com Git - debian/debian-policy.git/commitdiff
projects / debian / debian-policy.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 83ca87b fb543f4)
Synchronized with patch 222 from Manojs tree
authorManoj Srivastava <srivasta@debian.org>
Thu, 16 Jun 2005 10:18:20 +0000 (10:18 +0000)
committerManoj Srivastava <srivasta@debian.org>
Thu, 16 Jun 2005 10:18:20 +0000 (10:18 +0000)
Synchronized with patch 222 from Manojs tree

Patches applied:

 * srivasta@debian.org--etch/debian-policy--devel--3.0--patch-222
   build policy.{ps,pdf}.gz and include them in the binary package (byhand's gone). i'm guessing nobody needed this in the first place, but i guess we can put them in here just in case.

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


Trivial merge
Unnamed repository; edit this file 'description' to name the repository.