From a146aa9809e3f1f3b700eaf0f141f062d1429919 Mon Sep 17 00:00:00 2001
From: Felix Ruess <felix.ruess@gmail.com>
Date: Tue, 10 Jan 2012 17:10:12 +0100
Subject: [PATCH] gitignore html/ folder (contains gh-pages branch)

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

diff --git a/.gitignore b/.gitignore
index 6a0bf36496..b16f9b2ad5 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,6 @@
+# ignore html dir for github pages
+/html
+
 *.so
 *.[oa]
 *.out