From 82b5f3581e5c3d5667e3c8da6aa024cb0eb3a47e Mon Sep 17 00:00:00 2001 From: James Moger <james.moger@gitblit.com> Date: Thu, 12 Jan 2012 17:24:52 -0500 Subject: [PATCH] Change build identifiers. --- src/com/gitblit/wicket/pages/TicketPage.html | 5 +---- 1 files changed, 1 insertions(+), 4 deletions(-) diff --git a/src/com/gitblit/wicket/pages/TicketPage.html b/src/com/gitblit/wicket/pages/TicketPage.html index b61f7f9..ed3eb22 100644 --- a/src/com/gitblit/wicket/pages/TicketPage.html +++ b/src/com/gitblit/wicket/pages/TicketPage.html @@ -7,11 +7,8 @@ <body> <wicket:extend> - <!-- page nav links --> - <div wicket:id="pageLinks">[page links]</div> - <!-- ticket title --> - <div style="font-size:150%;padding-top:5px;" wicket:id="ticketTitle">[ticket title]</div> + <div style="font-size:150%;padding-top:5px;padding-bottom:5px;" wicket:id="ticketTitle">[ticket title]</div> <!-- ticket info --> <table class="plain"> -- Gitblit v1.9.1