From 9c28f62f02136bba4d374ee7bf3a52642a1c09ce Mon Sep 17 00:00:00 2001
From: Jason Gross
Date: Wed, 16 Jan 2019 17:03:30 -0500
Subject: Add .nia.cache to .gitignore

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

diff --git a/.gitignore b/.gitignore
index 0411247abf..dfecfec837 100644
--- a/.gitignore
+++ b/.gitignore
@@ -150,6 +150,7 @@ kernel/byterun/coq_jumptbl.h
 kernel/copcodes.ml
 ide/index_urls.txt
 .lia.cache
+.nia.cache
 
 # emacs save files
 *~
-- 
cgit v1.2.3