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

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

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index bed4efb1b..db3634707 100644
--- a/.gitignore
+++ b/.gitignore
@@ -13,8 +13,10 @@ Makefile.coq.bak
 csdp.cache
 lia.cache
 nlia.cache
+nia.cache
 nra.cache
 .csdp.cache
 .lia.cache
 .nlia.cache
+.nia.cache
 .nra.cache
-- 
cgit v1.2.3