diff options
author | david_williams | 2009-04-01 20:48:25 +0000 |
---|---|---|
committer | david_williams | 2009-04-01 20:48:25 +0000 |
commit | f59373a92bd328e8f12d5d84955504583f8d9fb7 (patch) | |
tree | 33c93aaf55fc794a0ac3aeb6a80b0544c51130b5 | |
parent | b6139e680a38f535a5dd1722f7a2a7b643890d36 (diff) | |
download | webtools.maps-f59373a92bd328e8f12d5d84955504583f8d9fb7.tar.gz webtools.maps-f59373a92bd328e8f12d5d84955504583f8d9fb7.tar.xz webtools.maps-f59373a92bd328e8f12d5d84955504583f8d9fb7.zip |
web core feature patches
-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 3c64ff29b..d7032d8d0 100644 --- a/releng.jeetools/maps/jst-web-component-features.map +++ b/releng.jeetools/maps/jst-web-component-features.map @@ -6,6 +6,6 @@ feature@org.eclipse.jst.web_tests.feature=v200708020120,:pserver:anonymous@dev.e feature@org.eclipse.jst.web_ui.feature=v200708020120,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/features/org.eclipse.jst.web_ui.feature feature@org.eclipse.jst.web_userdoc.feature=v200701251934,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/features/org.eclipse.jst.web_userdoc.feature -feature@org.eclipse.jst.web_core.feature.patch=v200809252353,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/features/org.eclipse.jst.web_core.feature.patch +feature@org.eclipse.jst.web_core.feature.patch=v200904012047,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/features/org.eclipse.jst.web_core.feature.patch feature@org.eclipse.jst.web_ui.feature.patch=v200811122024,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/features/org.eclipse.jst.web_ui.feature.patch !***************
\ No newline at end of file |