From 2a81783f291805594d4b97da6830aee94292f8c8 Mon Sep 17 00:00:00 2001
From: James Moger <james.moger@gitblit.com>
Date: Fri, 17 Aug 2012 15:35:38 -0400
Subject: [PATCH] Eliminated unnecessary repository enumeration (issue 103)

---
 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