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
---
src/com/gitblit/wicket/pages/BasePage.html | 2 +-
1 files changed, 1 insertions(+), 1 deletions(-)
diff --git a/src/com/gitblit/wicket/pages/BasePage.html b/src/com/gitblit/wicket/pages/BasePage.html
index a089e2a..9983e30 100644
--- a/src/com/gitblit/wicket/pages/BasePage.html
+++ b/src/com/gitblit/wicket/pages/BasePage.html
@@ -7,7 +7,7 @@
<!-- Head -->
<wicket:head>
<title wicket:id="title">[page title]</title>
- <link rel="stylesheet" href="bootstrap.130.css"/>
+ <link rel="stylesheet" href="bootstrap.140.css"/>
<link rel="stylesheet" type="text/css" href="bootstrap.gb.css"/>
<link rel="icon" href="gitblt-favicon.png" type="image/png" />
</wicket:head>
--
Gitblit v1.9.1