Remove duplicate entry in UI plugin.properties
commitea4b5eebc3e1c8e2699cdbccb33b1c7ec95bc6dc
authorThomas Wolf <thomas.wolf@paranor.ch>
Sat, 4 Nov 2017 12:19:49 +0000 (4 13:19 +0100)
committerThomas Wolf <thomas.wolf@paranor.ch>
Sat, 4 Nov 2017 12:19:49 +0000 (4 13:19 +0100)
treeac1e380fdc840318469ab417368e12cd521f8485
parentba0bc4d46be22a613b6bcafb8964a615588d52ec
Remove duplicate entry in UI plugin.properties

CompareWithHeadCommand.name existed twice.

Bug: 495064
Change-Id: I87e46582f9fa5875ea4180ec61e986b6e1ca7f86
Signed-off-by: Thomas Wolf <thomas.wolf@paranor.ch>
org.eclipse.egit.ui/plugin.properties