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/doc_header.html | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/docs/doc_header.html b/docs/doc_header.html index 802f950..7d4d4c1 100644 --- a/docs/doc_header.html +++ b/docs/doc_header.html @@ -2,7 +2,7 @@ <html> <head> <title>Gitblit</title> - <link rel="stylesheet" type="text/css" href="./bootstrap.130.css"/> + <link rel="stylesheet" type="text/css" href="./bootstrap.140.css"/> <link rel="stylesheet" type="text/css" href="./bootstrap.gb.css"/> <link rel="stylesheet" type="text/css" href="./markdown.css"/> <link rel="shortcut icon" type="image/png" href="./gitblt-favicon.png" /> -- Gitblit v1.9.1