From d9748f14267ce73522d6f5a5d1bc12b9ff37db71 Mon Sep 17 00:00:00 2001
From: David Swasey <swasey@mpi-sws.org>
Date: Wed, 9 Jul 2014 21:00:35 +0200
Subject: [PATCH] .

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

diff --git a/.gitignore b/.gitignore
index db47ad70e..4b4c6da2a 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,5 @@
 *.vo
 *.v.d
 *.glob
+guide
+html
-- 
GitLab