From f2dff4ea2ba10dca13b54d5968c5021f071b3ddd Mon Sep 17 00:00:00 2001
From: James Moger <james.moger@gitblit.com>
Date: Wed, 28 Dec 2011 20:40:31 -0500
Subject: [PATCH] Show inherited push scripts in Manager

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