From 52f994cf048661c4b5bcddf5f8ee1bfe9507a3f0 Mon Sep 17 00:00:00 2001
From: Ben Firshman <ben@firshman.co.uk>
Date: Thu, 1 May 2014 17:17:06 +0100
Subject: [PATCH] Remove /docs/.git-gh-pages from gitignore

It's inside /docs/_site
---
 .gitignore | 1 -
 1 file changed, 1 deletion(-)

diff --git a/.gitignore b/.gitignore
index 9a8c8325f..1623c04f5 100644
--- a/.gitignore
+++ b/.gitignore
@@ -3,5 +3,4 @@
 /build
 /dist
 /docs/_site
-/docs/.git-gh-pages
 fig.spec