commit 491df25ffefdb2187c969193df07532c22867d3b
author david_williams <david_williams> Mon Jun 11 03:08:57 2007 +0000
committer david_williams <david_williams> Mon Jun 11 03:08:57 2007 +0000
tree 6db758f000e692b65ae85472d0cca702893bc9f3
parent cd0c92ba7a58dcf403a05f1db509b35cc26f1e12

191877
.settings should be not be cvsignored

releng.servertools/maps/jst-server.map

diff --git a/releng.servertools/maps/jst-server.map b/releng.servertools/maps/jst-server.map
index cb11531..d4316c4 100644
--- a/releng.servertools/maps/jst-server.map
+++ b/releng.servertools/maps/jst-server.map
@@ -4,7 +4,7 @@
 plugin@org.eclipse.jst.server.ui=v200705302225,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,jst/components/server/plugins/org.eclipse.jst.server.ui
 plugin@org.eclipse.jst.server.preview.adapter=v200705302225,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,jst/components/server/plugins/org.eclipse.jst.server.preview.adapter
 
-plugin@org.eclipse.jst.server.generic.core=v20070608,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,jst/components/server/plugins/org.eclipse.jst.server.generic.core
+plugin@org.eclipse.jst.server.generic.core=v200706110300,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,jst/components/server/plugins/org.eclipse.jst.server.generic.core
 plugin@org.eclipse.jst.server.generic.ui=v200705302225,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,jst/components/server/plugins/org.eclipse.jst.server.generic.ui
 
 plugin@org.eclipse.jst.server.tomcat.core=v200705302225,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,jst/components/server/plugins/org.eclipse.jst.server.tomcat.core