Add /usr/kerberos/man.
authorjbj <devnull@localhost>
Tue, 18 Jul 2000 15:31:26 +0000 (15:31 +0000)
committerjbj <devnull@localhost>
Tue, 18 Jul 2000 15:31:26 +0000 (15:31 +0000)
commit38c2c2a87aa31be29dd70f221b67e3f9de87677b
tree6215ca776b6d112b1a800ceb70168eed0216f7ba
parentb6f8886ab8cda0a3cb1631e5226a864c2cef5384
Add /usr/kerberos/man.

CVS patchset: 3961
CVS date: 2000/07/18 15:31:26
scripts/brp-compress