diff options
Diffstat (limited to 'org.eclipse.egit.ui/plugin.properties')
-rw-r--r-- | org.eclipse.egit.ui/plugin.properties | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/org.eclipse.egit.ui/plugin.properties b/org.eclipse.egit.ui/plugin.properties index 11de2f78f6..77206c4ec8 100644 --- a/org.eclipse.egit.ui/plugin.properties +++ b/org.eclipse.egit.ui/plugin.properties @@ -29,6 +29,9 @@ AddToIndexAction_tooltip=Add to Git Index BranchAction_label=&Switch to ... BranchAction_tooltip=Checkout branch, tag or Reference DiscardChangesAction_label=&File in Git Index +ReplaceWithHeadAction_label=&HEAD Revision +ReplaceWithCommitAction_label=Commit... +ReplaceWithRefAction_label=&Branch, Tag, or Reference... FetchAction_label=&Fetch From... FetchAction_tooltip=Fetch changes from upstream PushAction_label=&Push... @@ -190,6 +193,9 @@ CompareWithHeadCommand.name = Compare with HEAD Revision CompareWithHistoryCommand.name = Compare with History CompareWithIndexCommand.name = Compare with Git Index ReplaceWithIndexCommand.name = Replace with File in Git Index +ReplaceWithHeadCommand.name = Replace with HEAD revision +ReplaceWithCommitCommand.name = Replace with commit +ReplaceWithRefCommand.name = Replace with branch, tag, or reference FetchCommand.name = Fetch IgnoreCommand.name = Ignore MergeCommand.name = Merge |