diff options
Diffstat (limited to 'gerrit-gwtui/src/main/java/com/google/gerrit/client/patches/PatchConstants.properties')
-rw-r--r-- | gerrit-gwtui/src/main/java/com/google/gerrit/client/patches/PatchConstants.properties | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gerrit-gwtui/src/main/java/com/google/gerrit/client/patches/PatchConstants.properties b/gerrit-gwtui/src/main/java/com/google/gerrit/client/patches/PatchConstants.properties index 90def1d307..590007dc06 100644 --- a/gerrit-gwtui/src/main/java/com/google/gerrit/client/patches/PatchConstants.properties +++ b/gerrit-gwtui/src/main/java/com/google/gerrit/client/patches/PatchConstants.properties @@ -13,6 +13,7 @@ patchHeaderOld = Old Version patchHeaderNew = New Version patchHistoryTitle = Patch History disabledOnLargeFiles = Disabled on very large source files. +intralineFailure = Intraline difference not available due to server error. upToChange = Up to change linePrev = Previous line |