From 1c261bd5fbe8f4750f17678f85f98cf101439b71 Mon Sep 17 00:00:00 2001 From: James Moger <james.moger@gitblit.com> Date: Mon, 05 Oct 2015 08:04:34 -0400 Subject: [PATCH] Merge branch 'topic/pr-935' into develop --- src/main/java/com/gitblit/wicket/GitBlitWebApp.properties | 3 ++- 1 files changed, 2 insertions(+), 1 deletions(-) diff --git a/src/main/java/com/gitblit/wicket/GitBlitWebApp.properties b/src/main/java/com/gitblit/wicket/GitBlitWebApp.properties index d037420..d802754 100644 --- a/src/main/java/com/gitblit/wicket/GitBlitWebApp.properties +++ b/src/main/java/com/gitblit/wicket/GitBlitWebApp.properties @@ -763,4 +763,5 @@ gb.deleteRepositoryHeader = Delete Repository gb.deleteRepositoryDescription = Deleted repositories will be unrecoverable. gb.show_whitespace = show whitespace -gb.ignore_whitespace = ignore whitespace \ No newline at end of file +gb.ignore_whitespace = ignore whitespace +gb.allRepositories = All Repositories \ No newline at end of file -- Gitblit v1.9.1