summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPaul Eggert <eggert@cs.ucla.edu>2013-10-21 15:12:13 -0700
committerPaul Eggert <eggert@cs.ucla.edu>2013-10-21 15:23:42 -0700
commit19fe1aa3323eb8e7a6bc66c966a2f9f25741ff42 (patch)
tree529888189735742f5540a5fa63776f8df6f17122
parent39bace5da815c0290ce5e84628ca7615307b8349 (diff)
downloadbison-19fe1aa3323eb8e7a6bc66c966a2f9f25741ff42.tar.gz
maint: git now ignores .log and .trs files
* .gitignore: Add *.log, *.trs.
-rw-r--r--.gitignore2
1 files changed, 2 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index e9708d3f..b8571968 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,8 +1,10 @@
*.eps
+*.log
*.o
*.pdf
*.png
*.stamp
+*.trs
*~
.deps
.dirstamp