From 0040210c8290bf60b8b08437d18b6cc05e863f32 Mon Sep 17 00:00:00 2001
From: James Moger <james.moger@gitblit.com>
Date: Fri, 23 Nov 2012 11:56:04 -0500
Subject: [PATCH] Generate empty CRL on startup to make Jetty happy

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