| !*************** jst-server.map |
| |
| plugin@org.eclipse.jst.server.core=v20050608_1535,:pserver:anonymous@dev.eclipse.org:/home/webtools,,jst/components/server/plugins/org.eclipse.jst.server.core |
| plugin@org.eclipse.jst.server.ui=v20050608_1140,:pserver:anonymous@dev.eclipse.org:/home/webtools,,jst/components/server/plugins/org.eclipse.jst.server.ui |
| |
| plugin@org.eclipse.jst.server.tomcat.core=v20050602,:pserver:anonymous@dev.eclipse.org:/home/webtools,,jst/components/server/plugins/org.eclipse.jst.server.tomcat.core |
| plugin@org.eclipse.jst.server.tomcat.ui=v20050606,:pserver:anonymous@dev.eclipse.org:/home/webtools,,jst/components/server/plugins/org.eclipse.jst.server.tomcat.ui |
| |
| plugin@org.eclipse.jst.server.generic.core=v20050609,:pserver:anonymous@dev.eclipse.org:/home/webtools,,jst/components/server/plugins/org.eclipse.jst.server.generic.core |
| plugin@org.eclipse.jst.server.generic.ui=v20050609,:pserver:anonymous@dev.eclipse.org:/home/webtools,,jst/components/server/plugins/org.eclipse.jst.server.generic.ui |
| plugin@org.eclipse.jst.server.generic.serverdefinitions=v20050608,:pserver:anonymous@dev.eclipse.org:/home/webtools,,jst/components/server/plugins/org.eclipse.jst.server.generic.serverdefinitions |
| |
| plugin@org.eclipse.jst.server.geronimo.core=v20050606,:pserver:anonymous@dev.eclipse.org:/home/webtools,,jst/components/server/plugins/org.eclipse.jst.server.geronimo.core |
| plugin@org.eclipse.jst.server.geronimo.ui=v20050602-2350,:pserver:anonymous@dev.eclipse.org:/home/webtools,,jst/components/server/plugins/org.eclipse.jst.server.geronimo.ui |
| |
| plugin@org.eclipse.jst.server.websphere.core=v20050610,:pserver:anonymous@dev.eclipse.org:/home/webtools,,jst/components/server/plugins/org.eclipse.jst.server.websphere.core |