From cc08fd749889b64dd219673efa4eebc3be6d956a Mon Sep 17 00:00:00 2001
From: Hugo Herbelin <Hugo.Herbelin@inria.fr>
Date: Thu, 1 Sep 2016 17:41:29 +0200
Subject: Updating .gitignore.

---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index 8a0c54f8f..4acd9930e 100644
--- a/.gitignore
+++ b/.gitignore
@@ -54,6 +54,7 @@ kernel/byterun/dllcoqrun.so
 coqdoc.sty
 csdp.cache
 test-suite/lia.cache
+test-suite/nra.cache
 test-suite/trace
 test-suite/misc/universes/all_stdlib.v
 test-suite/misc/universes/universes.txt
-- 
cgit v1.2.3