diff options
author | Michael Valenta | 2006-09-14 20:52:09 +0000 |
---|---|---|
committer | Michael Valenta | 2006-09-14 20:52:09 +0000 |
commit | 719520170f4346671c31e90e474aaca871d692ef (patch) | |
tree | e648a7bcfa4c890ba8f310cf0680f38af100fc6e /bundles/org.eclipse.team.ui/plugin.properties | |
parent | aceeb83356ad16741a19769ccf6f9f6ce6721cad (diff) | |
download | eclipse.platform.team-719520170f4346671c31e90e474aaca871d692ef.tar.gz eclipse.platform.team-719520170f4346671c31e90e474aaca871d692ef.tar.xz eclipse.platform.team-719520170f4346671c31e90e474aaca871d692ef.zip |
Bug 142488 [History] Local History vs. History
Diffstat (limited to 'bundles/org.eclipse.team.ui/plugin.properties')
-rw-r--r-- | bundles/org.eclipse.team.ui/plugin.properties | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/bundles/org.eclipse.team.ui/plugin.properties b/bundles/org.eclipse.team.ui/plugin.properties index fa68183f7..5edff3e26 100644 --- a/bundles/org.eclipse.team.ui/plugin.properties +++ b/bundles/org.eclipse.team.ui/plugin.properties @@ -69,3 +69,7 @@ ResourcesContentExtension = Resources EnabledModels = Models ShowLocalHistory.label=Show Local &History +CompareLocalHistory.label= &Local History... +CompareLocalHistory.tooltip= Compare the Selected Resource with Local History +ReplaceLocalHistory.label= &Local History... +ReplaceLocalHistory.tooltip= Replace the Selected Resource with Local History |