From b0501c33473771ba8c2f7404f6129aa65a8f203c Mon Sep 17 00:00:00 2001 From: Luca Milanesio <luca.milanesio@gmail.com> Date: Sat, 29 Nov 2014 11:19:20 -0500 Subject: [PATCH] Allows starting an already instantiated manager --- src/main/java/com/gitblit/wicket/pages/EmptyRepositoryPage_pl.html | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/src/main/java/com/gitblit/wicket/pages/EmptyRepositoryPage_pl.html b/src/main/java/com/gitblit/wicket/pages/EmptyRepositoryPage_pl.html index dd0f4a5..b50bdac 100644 --- a/src/main/java/com/gitblit/wicket/pages/EmptyRepositoryPage_pl.html +++ b/src/main/java/com/gitblit/wicket/pages/EmptyRepositoryPage_pl.html @@ -12,7 +12,7 @@ <div class="markdown"> <div class="row"> <div class="span10 offset1"> - <h2><center>Puste repozytorium</center></h2> + <h3><center>Puste repozytorium</center></h3> <div class="alert alert-info"> <span wicket:id="repository" style="font-weight: bold;">[repository]</span> jest pustym repozytorium i nie może być zaprezentowane przez Gitblit. <p></p> -- Gitblit v1.9.1