From 994f99fc353f523dfe5633067805a1dd4a53040f Mon Sep 17 00:00:00 2001
From: Jason Gross <jasongross9@gmail.com>
Date: Tue, 7 Apr 2020 08:53:51 -0400
Subject: [PATCH] Add generated timing files to Coq.gitignore (#3367)

These generated files were added in https://github.com/coq/coq/pull/745
---
 Coq.gitignore | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/Coq.gitignore b/Coq.gitignore
index a3e2ac4..829ac44 100644
--- a/Coq.gitignore
+++ b/Coq.gitignore
@@ -31,3 +31,13 @@ lia.cache
 nia.cache
 nlia.cache
 nra.cache
+
+# generated timing files
+*.timing.diff
+*.v.after-timing
+*.v.before-timing
+*.v.timing
+time-of-build-after.log
+time-of-build-before.log
+time-of-build-both.log
+time-of-build-pretty.log
-- 
GitLab