diff options
author | John Arthorne | 2001-12-06 18:01:15 +0000 |
---|---|---|
committer | John Arthorne | 2001-12-06 18:01:15 +0000 |
commit | 7d9be88d27c59ac7e83dac3434b06b2b512db2c6 (patch) | |
tree | 72bb6ed961fcf9d56f231f2a93b411bba416f84a | |
parent | 7c9aa61bd66c9f26dcf64aaa7144fa7f11523fc8 (diff) | |
download | eclipse.platform.resources-v20011127_patch1.tar.gz eclipse.platform.resources-v20011127_patch1.tar.xz eclipse.platform.resources-v20011127_patch1.zip |
Added validate extension pointv20011206av20011127_patch1
-rw-r--r-- | bundles/org.eclipse.core.resources/plugin.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/bundles/org.eclipse.core.resources/plugin.xml b/bundles/org.eclipse.core.resources/plugin.xml index 22aca7407..97e8c7425 100644 --- a/bundles/org.eclipse.core.resources/plugin.xml +++ b/bundles/org.eclipse.core.resources/plugin.xml @@ -19,6 +19,7 @@ <extension-point name="%buildersName" id="builders"/>
<extension-point name="%markersName" id="markers"/>
<extension-point name="%naturesName" id="natures"/>
+ <extension-point name="%validatorName" id="fileModificationValidator"/>
<extension id="marker" point="org.eclipse.core.resources.markers" name="%markerName"/>
<extension id="problemmarker" point="org.eclipse.core.resources.markers" name="%problemName">
|