From bb37a1f7f16731b4a6d393fc113bdf5348a5ad78 Mon Sep 17 00:00:00 2001
From: Jason Gross <jagro@google.com>
Date: Fri, 1 Jul 2016 09:12:28 -0700
Subject: Add more caches to .gitignore (nra, csdp)

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

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index 43e314274..b8cf1d4bc 100644
--- a/.gitignore
+++ b/.gitignore
@@ -8,5 +8,7 @@
 .#*
 Makefile.bak
 Makefile.coq
+csdp.cache
 lia.cache
 nlia.cache
+nra.cache
-- 
cgit v1.2.3