Add *_translate_timing.txt to gitignore

CakeML · Nov 5, 2018 · 1a08c02 · 1a08c02
1 parent f1056b0
commit 1a08c02
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -32,6 +32,7 @@ timing.log
 *_thm.txt
 *_ast.txt
 *.ml.txt
+*translate_timing.txt
 
 # Emacs backup files
 *~