From 3881d799d23bcc0cbaaa9e6bfa82c5bc3b2030eb Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@college-de-france.fr>
Date: Tue, 12 Feb 2019 20:31:43 +0100
Subject: Ignore and clean file .lia.cache

This file is created by Coq when running some tactics
---
 .gitignore | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index 6fabfc01..f9b542d7 100644
--- a/.gitignore
+++ b/.gitignore
@@ -67,4 +67,6 @@
 # MacOS metadata
 .DS_Store
 # Test generated data
-/test/clightgen/*.v
\ No newline at end of file
+/test/clightgen/*.v
+# Coq cache
+.lia.cache
-- 
cgit