From 6da45ac87e39c2efeeb2849271ac3c555f106ab9 Mon Sep 17 00:00:00 2001 From: James Moger <james.moger@gitblit.com> Date: Thu, 10 Apr 2014 18:58:10 -0400 Subject: [PATCH] Delete ssh public keys when user is deleted --- src/main/java/com/gitblit/wicket/pages/RepositoriesPage.html | 4 +++- 1 files changed, 3 insertions(+), 1 deletions(-) diff --git a/src/main/java/com/gitblit/wicket/pages/RepositoriesPage.html b/src/main/java/com/gitblit/wicket/pages/RepositoriesPage.html index d2d2715..6ef274b 100644 --- a/src/main/java/com/gitblit/wicket/pages/RepositoriesPage.html +++ b/src/main/java/com/gitblit/wicket/pages/RepositoriesPage.html @@ -6,9 +6,11 @@ <body> <wicket:extend> - <div class="markdown" style="padding-bottom:5px;" wicket:id="repositoriesMessage">[repositories message]</div> +<div class="container"> + <div class="markdown" style="padding: 10px 0px 5px 0px;" wicket:id="repositoriesMessage">[repositories message]</div> <div wicket:id="repositoriesPanel">[repositories panel]</div> +</div> </wicket:extend> </body> </html> \ No newline at end of file -- Gitblit v1.9.1