diff options
| author | james | 2002-05-14 18:22:33 +0000 |
|---|---|---|
| committer | james | 2002-05-14 18:22:33 +0000 |
| commit | a95bda4baacef07858c1523d96d3386a4349cfb1 (patch) | |
| tree | e78deeadc2a2c0a6e01c9299e1b497f7c0cdaab7 /bundles/org.eclipse.team.ui/plugin.properties | |
| parent | 522b5020ac6e44d5a79338a25679d1cdedbc65e3 (diff) | |
| download | eclipse.platform.team-a95bda4baacef07858c1523d96d3386a4349cfb1.tar.gz eclipse.platform.team-a95bda4baacef07858c1523d96d3386a4349cfb1.tar.xz eclipse.platform.team-a95bda4baacef07858c1523d96d3386a4349cfb1.zip | |
12381: "Open in both mode" preference missing
Diffstat (limited to 'bundles/org.eclipse.team.ui/plugin.properties')
| -rw-r--r-- | bundles/org.eclipse.team.ui/plugin.properties | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/bundles/org.eclipse.team.ui/plugin.properties b/bundles/org.eclipse.team.ui/plugin.properties index ed4dc4d07..7628a1f88 100644 --- a/bundles/org.eclipse.team.ui/plugin.properties +++ b/bundles/org.eclipse.team.ui/plugin.properties @@ -1,7 +1,8 @@ pluginName=Team Support UI -# This will change shortly to "Text Resources" once a real Team page exists. -TextPreferencePage.name=Team +TeamPreferencePage.name=Team + +TextPreferencePage.name=File Content IgnorePreferencePage.name=Ignored Resources |