From ea4b5eebc3e1c8e2699cdbccb33b1c7ec95bc6dc Mon Sep 17 00:00:00 2001 From: Thomas Wolf Date: Sat, 4 Nov 2017 13:19:49 +0100 Subject: [PATCH] Remove duplicate entry in UI plugin.properties CompareWithHeadCommand.name existed twice. Bug: 495064 Change-Id: I87e46582f9fa5875ea4180ec61e986b6e1ca7f86 Signed-off-by: Thomas Wolf --- org.eclipse.egit.ui/plugin.properties | 1 - 1 file changed, 1 deletion(-) diff --git a/org.eclipse.egit.ui/plugin.properties b/org.eclipse.egit.ui/plugin.properties index bcced27c7..ab195f514 100644 --- a/org.eclipse.egit.ui/plugin.properties +++ b/org.eclipse.egit.ui/plugin.properties @@ -183,7 +183,6 @@ CommitViewerCommands.extension.name = The commit viewer commands CompareCommand.name = Compare with each other CompareWithMenu.label= Comp&are With CompareWithWorkTreeCommand.name = Compare with Working Tree -CompareWithHeadCommand.name = Compare commit with HEAD CompareWithCommitCommand.name = Compare with Commit... CompareWithHistoryCommand.name = Compare with Branch, Tag or Reference... ReplaceWithMenu.label=Rep&lace With -- 2.11.4.GIT