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/BasePage.html |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)

diff --git a/src/main/java/com/gitblit/wicket/pages/BasePage.html b/src/main/java/com/gitblit/wicket/pages/BasePage.html
index e0840b2..89a28b8 100644
--- a/src/main/java/com/gitblit/wicket/pages/BasePage.html
+++ b/src/main/java/com/gitblit/wicket/pages/BasePage.html
@@ -14,6 +14,7 @@
 		
 		<link rel="stylesheet" href="bootstrap/css/bootstrap.css"/>
 		<link rel="stylesheet" href="bootstrap/css/iconic.css"/>
+		<link rel="stylesheet" href="fontawesome/css/font-awesome.min.css"/>
 		<link rel="stylesheet" type="text/css" href="gitblit.css"/>
 	</wicket:head>
 

--
Gitblit v1.9.1