Sign in
eclipse
/
jeetools
/
webtools.javaee
/
d3faedc589c1f02ee05d814d3d37a187781da8d4
commit
d3faedc589c1f02ee05d814d3d37a187781da8d4
[
log
]
author
david_williams <david_williams>
Mon Oct 04 02:10:29 2010 +0000
committer
david_williams <david_williams>
Mon Oct 04 02:10:29 2010 +0000
tree
d6bc134776077e28adeac5a3111eb2e7934155b0
parent
464a632db06151a125208fb96f2aae10abefab73
[
diff
]
mass fix to provider name (release which future changes)
features/org.eclipse.jst.enterprise_ui.feature.patch/feature.properties
[
diff
]
features/org.eclipse.jst.web_core.feature.patch/feature.properties
[
diff
]
features/org.eclipse.jst.web_ui.feature.patch/feature.properties
[
diff
]
3 files changed
tree: d6bc134776077e28adeac5a3111eb2e7934155b0
features/
plugins/
