diff options
-rw-r--r-- | releng.sourceediting/maps/wst-jsdt-web.map | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/releng.sourceediting/maps/wst-jsdt-web.map b/releng.sourceediting/maps/wst-jsdt-web.map index 77ce0088d..5704ea730 100644 --- a/releng.sourceediting/maps/wst-jsdt-web.map +++ b/releng.sourceediting/maps/wst-jsdt-web.map @@ -4,6 +4,6 @@ plugin@org.eclipse.wst.jsdt.web.core=v201011030149,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/plugins/org.eclipse.wst.jsdt.web.core plugin@org.eclipse.wst.jsdt.web.support.jsp=v201012160047,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/plugins/org.eclipse.wst.jsdt.web.support.jsp -plugin@org.eclipse.wst.jsdt.web.ui=v201012150331,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/plugins/org.eclipse.wst.jsdt.web.ui +plugin@org.eclipse.wst.jsdt.web.ui=v201012160349,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/plugins/org.eclipse.wst.jsdt.web.ui !***************
\ No newline at end of file |