From afc9deedc7da2b5a3d183941d63e13bfbfb7c78a Mon Sep 17 00:00:00 2001 From: James Moger <james.moger@gmail.com> Date: Wed, 09 Dec 2015 19:36:39 -0500 Subject: [PATCH] Merge pull request #983 from mrjoel/mrjoel-dotfiledetection --- src/main/java/com/gitblit/wicket/pages/EmptyRepositoryPage_es.html | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/src/main/java/com/gitblit/wicket/pages/EmptyRepositoryPage_es.html b/src/main/java/com/gitblit/wicket/pages/EmptyRepositoryPage_es.html index 0f168bf..af75b4e 100644 --- a/src/main/java/com/gitblit/wicket/pages/EmptyRepositoryPage_es.html +++ b/src/main/java/com/gitblit/wicket/pages/EmptyRepositoryPage_es.html @@ -12,7 +12,7 @@ <div class="markdown"> <div class="row"> <div class="span10 offset1"> - <h2><center>Repositorio Vacío</center></h2> + <h3><center>Repositorio Vacío</center></h3> <div class="alert alert-info"> <span wicket:id="repository" style="font-weight: bold;">[repository]</span> es un repositorio vacío y no puede ser visto en Gitblit. <p></p> -- Gitblit v1.9.1