From 1590fd791c7fc4d6849479cad88956f37360bbbf Mon Sep 17 00:00:00 2001 From: Joel Johnson <mrjoel@lixil.net> Date: Wed, 01 Jul 2015 15:05:50 -0400 Subject: [PATCH] allow advertising gitblit privileges for external URLs --- src/main/java/com/gitblit/wicket/GitBlitWebApp.properties | 7 +++++++ 1 files changed, 7 insertions(+), 0 deletions(-) diff --git a/src/main/java/com/gitblit/wicket/GitBlitWebApp.properties b/src/main/java/com/gitblit/wicket/GitBlitWebApp.properties index c1b5a30..d037420 100644 --- a/src/main/java/com/gitblit/wicket/GitBlitWebApp.properties +++ b/src/main/java/com/gitblit/wicket/GitBlitWebApp.properties @@ -757,3 +757,10 @@ gb.diffRenamedFile = File was renamed from {0} gb.diffCopiedFile = File was copied from {0} gb.diffTruncated = Diff truncated after the above file +gb.opacityAdjust = Adjust opacity +gb.blinkComparator = Blink comparator +gb.imgdiffSubtract = Subtract (black = identical) +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 -- Gitblit v1.9.1