From 8e9988c38cae55932cf707857fa8a06943e01d15 Mon Sep 17 00:00:00 2001
From: James Moger <james.moger@gitblit.com>
Date: Mon, 19 Mar 2012 16:28:58 -0400
Subject: [PATCH] Ensure repository indexes are properly closed before deletion

---
 docs/03_properties.mkd |    2 --
 1 files changed, 0 insertions(+), 2 deletions(-)

diff --git a/docs/03_properties.mkd b/docs/03_properties.mkd
index 3a1dec1..2b0151b 100644
--- a/docs/03_properties.mkd
+++ b/docs/03_properties.mkd
@@ -1,4 +1,2 @@
 ## gitblit.properties
-<pre class='prettyprint'>
 %PROPERTIES%
-</pre>
\ No newline at end of file

--
Gitblit v1.9.1