o Adding missing properties to gitblit.properties for adjusting the context...

Trygve Laugstøl

2011-10-10 0dccce1b5cffce03124f001ae03b66962f36fee6

 src/com/gitblit/wicket/panels/SearchPanel.java

@@ -74,7 +74,7 @@


      // header

      add(new CommitHeaderPanel("commitHeader", repositoryName, commit));

		


      add(new Label("searchString", value));

      add(new Label("searchType", searchType.toString()));