From 19fe1aa3323eb8e7a6bc66c966a2f9f25741ff42 Mon Sep 17 00:00:00 2001
From: Paul Eggert <eggert@cs.ucla.edu>
Date: Mon, 21 Oct 2013 15:12:13 -0700
Subject: [PATCH] maint: git now ignores .log and .trs files

* .gitignore: Add *.log, *.trs.
---
 .gitignore | 2 ++
 1 file changed, 2 insertions(+)

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
-- 
2.47.2