From 33f3580f8f4499ac9cd4812872c94fcdd81a5829 Mon Sep 17 00:00:00 2001 From: Paul Martin <paul@paulsputer.com> Date: Mon, 28 Mar 2016 10:27:31 -0400 Subject: [PATCH] Merge pull request #1022 from gitblit/974-in-browser-doc-editor --- src/main/java/com/gitblit/wicket/GitBlitWebApp_de.properties | 3 +++ 1 files changed, 3 insertions(+), 0 deletions(-) diff --git a/src/main/java/com/gitblit/wicket/GitBlitWebApp_de.properties b/src/main/java/com/gitblit/wicket/GitBlitWebApp_de.properties index be36ecd..eca3fd2 100644 --- a/src/main/java/com/gitblit/wicket/GitBlitWebApp_de.properties +++ b/src/main/java/com/gitblit/wicket/GitBlitWebApp_de.properties @@ -750,3 +750,6 @@ gb.diffRenamedFile = Datei umbenannt von {0} gb.diffCopiedFile = Datei kopiert von {0} gb.diffTruncated = Diff nach obiger Datei abgeschnitten +gb.opacityAdjust = Transparenz +gb.blinkComparator = Blinkkomparator +gb.imgdiffSubtract = Pixeldifferenz (schwarz = identisch) \ No newline at end of file -- Gitblit v1.9.1