From f2f2f3e43f8a3058e0f5838d8bd7b24af6c99ac9 Mon Sep 17 00:00:00 2001
From: Jason Gross <jagro@google.com>
Date: Fri, 1 Jul 2016 08:54:23 -0700
Subject: Update .gitignore with lia, nia caches

---
 .gitignore | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index f88b441c8..43e314274 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,10 +1,12 @@
-.#*
-*~
 *#
 *.aux
 *.d
 *.glob
-Makefile.bak
-Makefile.coq
 *.vio
 *.vo
+*~
+.#*
+Makefile.bak
+Makefile.coq
+lia.cache
+nlia.cache
-- 
cgit v1.2.3