Rename SSH key store on user rename

James Moger

2014-04-10 f5ca1655278d8b34a402120864a5a5c628b1c31d

 src/main/java/com/gitblit/wicket/pages/BasePage.java

@@ -93,6 +93,9 @@
      if (app().settings().getBoolean(Keys.web.useResponsiveLayout, true)) {

         add(CSSPackageResource.getHeaderContribution("bootstrap/css/bootstrap-responsive.css"));

      }

      if (app().settings().getBoolean(Keys.web.hideHeader, false)) {

         add(CSSPackageResource.getHeaderContribution("hideheader.css"));

      }

   }



   protected String getCanonicalUrl() {