From 305e347a73eef56d386d5dd86b1975699617db51 Mon Sep 17 00:00:00 2001
From: Michael Orlitzky <michael@orlitzky.com>
Date: Wed, 22 Aug 2012 10:38:40 -0400
Subject: [PATCH] Remove the old (unused) doc/html directory.

---
 doc/html/.gitignore | 1 -
 1 file changed, 1 deletion(-)
 delete mode 100644 doc/html/.gitignore

diff --git a/doc/html/.gitignore b/doc/html/.gitignore
deleted file mode 100644
index 13e4d83..0000000
--- a/doc/html/.gitignore
+++ /dev/null
@@ -1 +0,0 @@
-[^.]*
-- 
2.43.2