Delete ssh public keys when user is deleted

James Moger

2014-03-26 6da45ac87e39c2efeeb2849271ac3c555f106ab9

 src/main/java/com/gitblit/wicket/panels/ProjectRepositoryPanel.html

@@ -39,6 +39,7 @@
            <span wicket:id="repositoryLinks"></span>

            <div>

               <img class="inlineIcon" wicket:id="sparkleshareIcon" />

               <img class="inlineIcon" wicket:id="mirrorIcon" />

               <img class="inlineIcon" wicket:id="frozenIcon" />

               <img class="inlineIcon" wicket:id="federatedIcon" />