From f5127ba5bb5c1b932b51f9b3d43a18aa566a6d26 Mon Sep 17 00:00:00 2001
From: varomodt <varomodt@localhost.localdomain>
Date: Sat, 9 Jan 2016 13:43:53 -0500
Subject: simple refactor of makefile; comments

---
 .gitignore | 3 +++
 1 file changed, 3 insertions(+)

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index cec91e9a6..ff148cbf2 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,6 @@
 bedrock
 fiat
 *~
+*.vo
+*.d
+Makefile.coq
-- 
cgit v1.2.3