From: Adam Megacz <megacz@cs.berkeley.edu>
Date: Tue, 3 Apr 2012 04:44:33 +0000 (-0700)
Subject: update .gitignore
X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=commitdiff_plain;h=53d0f180a43622e1736925647d6df7b2bcb975e6;ds=sidebyside

update .gitignore
---

diff --git a/.gitignore b/.gitignore
index f7f85d1..e420df5 100644
--- a/.gitignore
+++ b/.gitignore
@@ -4,3 +4,7 @@ examples/tutorial.pdf
 build/
 build/**
 examples/.build
+examples/*.o
+examples/*.hi
+
+