diff --git a/platform/platform-resources-en/src/messages/DiffBundle.properties b/platform/platform-resources-en/src/messages/DiffBundle.properties index 7ea12c162a59..ee6f24297982 100644 --- a/platform/platform-resources-en/src/messages/DiffBundle.properties +++ b/platform/platform-resources-en/src/messages/DiffBundle.properties @@ -108,5 +108,5 @@ merge.version.title.their.with.revision=Changes from server (revision {0}) merge.version.title.base=Base version merge.version.title.merged=Merged version merge.version.title.merged.result=Result -configurable.DiffSettingsConfigurable.display.name=Diff & Merge +configurable.DiffSettingsConfigurable.display.name=Diff \\& Merge configurable.ExternalDiffSettingsConfigurable.display.name=External Diff Tools