diff options
| author | james | 2002-02-11 22:48:36 +0000 |
|---|---|---|
| committer | james | 2002-02-11 22:48:36 +0000 |
| commit | 27972b33034150f01ad8f195c8edec1854c357cc (patch) | |
| tree | 6ff665a3d14f69bed2b7e649ec8a91ce8067c80d /bundles/org.eclipse.team.ui/plugin.properties | |
| parent | 8ea4565508b4698e4276970c7200ac4037c66e92 (diff) | |
| download | eclipse.platform.team-27972b33034150f01ad8f195c8edec1854c357cc.tar.gz eclipse.platform.team-27972b33034150f01ad8f195c8edec1854c357cc.tar.xz eclipse.platform.team-27972b33034150f01ad8f195c8edec1854c357cc.zip | |
Add the ignore preference page
Diffstat (limited to 'bundles/org.eclipse.team.ui/plugin.properties')
| -rw-r--r-- | bundles/org.eclipse.team.ui/plugin.properties | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/bundles/org.eclipse.team.ui/plugin.properties b/bundles/org.eclipse.team.ui/plugin.properties index aad93a334..3cffe368a 100644 --- a/bundles/org.eclipse.team.ui/plugin.properties +++ b/bundles/org.eclipse.team.ui/plugin.properties @@ -3,6 +3,8 @@ pluginName=Team Support UI # This will change shortly to "Text Resources" once a real Team page exists. TextPreferencePage.name=Team +IgnorePreferencePage.name=Ignored Resources + ConfigureProject.label=&Share Project... ConfigureProject.tooltip=Share the project with others using a version and configuration management plug-in. |