From 1a08c02a614661844dfd29311248574629ac4f63 Mon Sep 17 00:00:00 2001
From: Ramana Kumar <ramana@member.fsf.org>
Date: Mon, 5 Nov 2018 19:29:33 +0000
Subject: [PATCH] Add *_translate_timing.txt to gitignore

---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitignore b/.gitignore
index 20e0c051d6..194bb11f0d 100644
--- a/.gitignore
+++ b/.gitignore
@@ -32,6 +32,7 @@ timing.log
 *_thm.txt
 *_ast.txt
 *.ml.txt
+*translate_timing.txt
 
 # Emacs backup files
 *~