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 /.gitignore | |
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 '.gitignore')
-rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index f8336063b7..21fcf9841c 100644 --- a/.gitignore +++ b/.gitignore @@ -1,5 +1,6 @@ *.a *.cache +*.gch *.la *.lo *.log |