diff options
author | 2012-01-17 20:16:03 +0200 | |
---|---|---|
committer | 2012-01-17 14:52:31 -0400 | |
commit | 8ea82928b91e847298e4586f9db9734e727a418a (patch) | |
tree | f7b05bf14fd17ebd4270c3bc20976ddfa2beae74 /.dir-locals.el | |
parent | efa5d6cb32825f4744ddcfdcfa2fc354d9740ce1 (diff) |
fix .gitignore for gzipped man pages
Diffstat (limited to '.dir-locals.el')
0 files changed, 0 insertions, 0 deletions