diff options
| -rw-r--r-- | releng.jeetools/maps/jst-web-component-features.map | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/releng.jeetools/maps/jst-web-component-features.map b/releng.jeetools/maps/jst-web-component-features.map index a7cc6550c..5f734ab2e 100644 --- a/releng.jeetools/maps/jst-web-component-features.map +++ b/releng.jeetools/maps/jst-web-component-features.map @@ -14,7 +14,7 @@ feature@org.eclipse.jst.web_userdoc.feature=v200808091845,:pserver:anonymous@dev !*************** -feature@org.eclipse.jst.web_core.feature.patch=v201109222127,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/features/org.eclipse.jst.web_core.feature.patch +feature@org.eclipse.jst.web_core.feature.patch=v201207161555,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/features/org.eclipse.jst.web_core.feature.patch feature@org.eclipse.jst.web_ui.feature.patch=v201107220223,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/features/org.eclipse.jst.web_ui.feature.patch !***************
\ No newline at end of file |