From 68c13c34a3be9035769193512f794cf805550df4 Mon Sep 17 00:00:00 2001
From: Jason Gross <jagro@google.com>
Date: Mon, 27 Jun 2016 11:49:55 -0700
Subject: Update .gitignore

---
 .gitignore | 11 +++++------
 1 file changed, 5 insertions(+), 6 deletions(-)

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index 9028c237e..f88b441c8 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,11 +1,10 @@
-bedrock
-fiat
+.#*
 *~
 *#
-*.vo
+*.aux
 *.d
 *.glob
-*.aux
-*.vio
-Makefile.coq
 Makefile.bak
+Makefile.coq
+*.vio
+*.vo
-- 
cgit v1.2.3