CVS branden: Branden

[debian-policy]

CVSROOT:        /org/cvs.debian.org/cvs/debian-policy
Module name:    debian-policy
Changes by:     branden Tue Nov 19 16:00:41 MST 2002

Modified files:
        .              : policy.sgml 

Log message:
  Branden
* Change markup of "gzip -9" to a kbd element everywhere.
* Change markup of "gzip" in one place from a tt to a prgn element.