diff options
| author | Daniel Mack <github@zonque.org> | 2016-10-28 19:03:01 +0200 |
|---|---|---|
| committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2016-10-28 13:03:01 -0400 |
| commit | e50e60b4744e48ee83e09c6ad62a6ee52836f4c8 (patch) | |
| tree | fdc6acff6739f19aca1be9ad9603193cd295f00b /man | |
| parent | fa1f250d6fc2141dd6c116424e25dba5aceeb85c (diff) | |
.gitignore: ignore precompiled GCC headers (#4516)
Not sure since when this is the default behavior, but my local tree is full
of such files. Let's ignore them for clarity.
Diffstat (limited to 'man')
0 files changed, 0 insertions, 0 deletions