platform35/org.eclipse.core.resources/plugin.properties
changeset 40 eb3c938c7fef
equal deleted inserted replaced
39:2a03ec4dbf31 40:eb3c938c7fef
       
     1 ###############################################################################
       
     2 # Copyright (c) 2000, 2007 IBM Corporation and others.
       
     3 # All rights reserved. This program and the accompanying materials
       
     4 # are made available under the terms of the Eclipse Public License v1.0
       
     5 # which accompanies this distribution, and is available at
       
     6 # http://www.eclipse.org/legal/epl-v10.html
       
     7 # 
       
     8 # Contributors:
       
     9 #     IBM Corporation - initial API and implementation
       
    10 ###############################################################################
       
    11 pluginName = Core Resource Management
       
    12 providerName = Eclipse.org
       
    13 buildersName = Builders
       
    14 markersName = Markers
       
    15 naturesName = Project Natures
       
    16 validatorName = File Modification Validator
       
    17 hookName = Move/Delete Hook
       
    18 teamHookName = Team Hook
       
    19 preferencesContentTypeName = Preferences
       
    20 refreshProvidersName=Refresh Providers
       
    21 modelProviders=Model Providers
       
    22 preferencesExtPtName=Resource Preferences
       
    23 resourceModelName=File System Resources
       
    24 
       
    25 markerName = Marker
       
    26 problemName = Problem
       
    27 taskName = Task
       
    28 bookmarkName = Bookmark
       
    29 textName = Text
       
    30 
       
    31 win32FragmentName = Core Resource Management Win32 Fragment
       
    32 compatibilityFragmentName = Core Resource Management Compatibility Fragment
       
    33 win32MonitorFactoryName = Windows Auto-refresh monitor