diff options
| author |  Jani Nikula <jani@nikula.org> | 2012-01-17 20:16:03 +0200 |
|---|---|---|
| committer |  David Bremner <bremner@debian.org> | 2012-01-17 14:52:31 -0400 |
| commit | 8ea82928b91e847298e4586f9db9734e727a418a (patch) | |
| tree | f7b05bf14fd17ebd4270c3bc20976ddfa2beae74 /devel | |
| parent | efa5d6cb32825f4744ddcfdcfa2fc354d9740ce1 (diff) | |
fix .gitignore for gzipped man pages
Diffstat (limited to 'devel')
0 files changed, 0 insertions, 0 deletions