From 6fbb775e9b93cbbdb1a6cecfede9a84c26926768 Mon Sep 17 00:00:00 2001
From: Jason Gross <jagro@google.com>
Date: Fri, 16 Sep 2016 19:34:14 -0700
Subject: Update .gitignore for Coq 8.6

---
 .gitignore | 4 ++++
 1 file changed, 4 insertions(+)

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index aeba9e55d..bed4efb1b 100644
--- a/.gitignore
+++ b/.gitignore
@@ -14,3 +14,7 @@ csdp.cache
 lia.cache
 nlia.cache
 nra.cache
+.csdp.cache
+.lia.cache
+.nlia.cache
+.nra.cache
-- 
cgit v1.2.3