From bac2bf05c2586c447b43436af73a1a279ecd7035 Mon Sep 17 00:00:00 2001
From: Arnaud Spiwack
Date: Fri, 25 Jul 2014 12:02:32 +0200
Subject: Add lia.cache to the .gitignore

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

diff --git a/.gitignore b/.gitignore
index 7a8b9e6255..1a98af1f2e 100644
--- a/.gitignore
+++ b/.gitignore
@@ -148,6 +148,7 @@ kernel/copcodes.ml
 tools/tolink.ml
 theories/Numbers/Natural/BigN/NMake_gen.v
 ide/index_urls.txt
+lia.cache
 
 # mlis documentation
 
-- 
cgit v1.2.3