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 | 2 +- 1 files changed, 1 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 36670a8..6ef274b 100644 --- a/src/main/java/com/gitblit/wicket/pages/RepositoriesPage.html +++ b/src/main/java/com/gitblit/wicket/pages/RepositoriesPage.html @@ -7,7 +7,7 @@ <body> <wicket:extend> <div class="container"> - <div class="markdown" style="padding: 5px 0px;" wicket:id="repositoriesMessage">[repositories message]</div> + <div class="markdown" style="padding: 10px 0px 5px 0px;" wicket:id="repositoriesMessage">[repositories message]</div> <div wicket:id="repositoriesPanel">[repositories panel]</div> </div> -- Gitblit v1.9.1