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 /man | |
| parent | efa5d6cb32825f4744ddcfdcfa2fc354d9740ce1 (diff) | |
fix .gitignore for gzipped man pages
Diffstat (limited to 'man')
| -rw-r--r-- | man/.gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/man/.gitignore b/man/.gitignore new file mode 100644 index 00000000..26ead201 --- /dev/null +++ b/man/.gitignore @@ -0,0 +1,2 @@ +# ignore gzipped man pages +*.[0-9].gz |