Set user repository prefix from setting.

Florian Zschocke

2013-07-10 0c5c1c872ace327087ba665a51d03a81bcba60f0

 src/main/java/com/gitblit/wicket/panels/CommitHeaderPanel.java

@@ -33,6 +33,7 @@
      add(new Label("commitid"));

      add(new Label("author"));

      add(new Label("date"));

      add(new Label("authorAvatar"));

   }



   public CommitHeaderPanel(String id, String repositoryName, RevCommit c) {