diff options
author | Paul Eggert <eggert@cs.ucla.edu> | 2013-10-21 15:12:13 -0700 |
---|---|---|
committer | Paul Eggert <eggert@cs.ucla.edu> | 2013-10-21 15:23:42 -0700 |
commit | 19fe1aa3323eb8e7a6bc66c966a2f9f25741ff42 (patch) | |
tree | 529888189735742f5540a5fa63776f8df6f17122 | |
parent | 39bace5da815c0290ce5e84628ca7615307b8349 (diff) | |
download | bison-19fe1aa3323eb8e7a6bc66c966a2f9f25741ff42.tar.gz |
maint: git now ignores .log and .trs files
* .gitignore: Add *.log, *.trs.
-rw-r--r-- | .gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -1,8 +1,10 @@ *.eps +*.log *.o *.pdf *.png *.stamp +*.trs *~ .deps .dirstamp |