diff --git a/doc/footer.html.patch b/doc/footer.html.patch deleted file mode 100644 index 23b29da3..00000000 --- a/doc/footer.html.patch +++ /dev/null @@ -1,22 +0,0 @@ ---- footer.orig.html 2012-06-11 00:32:00.237427961 -0400 -+++ footer.html 2012-06-11 00:45:51.518437796 -0400 -@@ -6,11 +6,15 @@ - - - --