From 2a81783f291805594d4b97da6830aee94292f8c8 Mon Sep 17 00:00:00 2001 From: James Moger <james.moger@gitblit.com> Date: Fri, 17 Aug 2012 15:35:38 -0400 Subject: [PATCH] Eliminated unnecessary repository enumeration (issue 103) --- src/com/gitblit/wicket/pages/HistoryPage.html | 3 --- 1 files changed, 0 insertions(+), 3 deletions(-) diff --git a/src/com/gitblit/wicket/pages/HistoryPage.html b/src/com/gitblit/wicket/pages/HistoryPage.html index f132e59..f9bd2f6 100644 --- a/src/com/gitblit/wicket/pages/HistoryPage.html +++ b/src/com/gitblit/wicket/pages/HistoryPage.html @@ -7,9 +7,6 @@ <body> <wicket:extend> - <!-- page nav links --> - <div wicket:id="pageLinks">[page links]</div> - <!-- pager links --> <div style="padding-top:5px;"> <a wicket:id="firstPageTop"><wicket:message key="gb.pageFirst"></wicket:message></a> | <a wicket:id="prevPageTop"><wicket:message key="gb.pagePrevious"></wicket:message></a> | <a wicket:id="nextPageTop"><wicket:message key="gb.pageNext"></wicket:message></a> -- Gitblit v1.9.1