From 0d3e3ca5b85d7e81066030a5081ea3a9cbe76607 Mon Sep 17 00:00:00 2001
From: James Moger <james.moger@gitblit.com>
Date: Thu, 21 Jul 2011 14:48:15 -0400
Subject: [PATCH] Rollback to Jetty 7.4.3 for now.

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