From 0e287b2e5c29e7674e54d80ed90e79f5b5432968 Mon Sep 17 00:00:00 2001
From: Jan Šmucr <jan.smucr@aimtec.cz>
Date: Thu, 27 Nov 2014 08:00:48 -0500
Subject: [PATCH] Added a new property: web.displayUserPanel

---
 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&iacute;o</center></h2>
+	<h3><center>Repositorio Vac&iacute;o</center></h3>
 	<div class="alert alert-info">
 		<span wicket:id="repository" style="font-weight: bold;">[repository]</span> es un repositorio vac&iacute;o y no puede ser visto en Gitblit.
 		<p></p>		

--
Gitblit v1.9.1