| !*************** jst-server.map |
| |
| plugin@org.eclipse.jst.server.core=v20050720,:pserver:anonymous@dev.eclipse.org:/home/webtools,,jst/components/server/plugins/org.eclipse.jst.server.core |
| plugin@org.eclipse.jst.server.ui=v20050710,:pserver:anonymous@dev.eclipse.org:/home/webtools,,jst/components/server/plugins/org.eclipse.jst.server.ui |
| |
| plugin@org.eclipse.jst.server.tomcat.core=v20050719,:pserver:anonymous@dev.eclipse.org:/home/webtools,,jst/components/server/plugins/org.eclipse.jst.server.tomcat.core |
| plugin@org.eclipse.jst.server.tomcat.ui=v20050719,:pserver:anonymous@dev.eclipse.org:/home/webtools,,jst/components/server/plugins/org.eclipse.jst.server.tomcat.ui |
| |
| plugin@org.eclipse.jst.server.generic.core=v20050726,:pserver:anonymous@dev.eclipse.org:/home/webtools,,jst/components/server/plugins/org.eclipse.jst.server.generic.core |
| plugin@org.eclipse.jst.server.generic.ui=v20050709,:pserver:anonymous@dev.eclipse.org:/home/webtools,,jst/components/server/plugins/org.eclipse.jst.server.generic.ui |
| plugin@org.eclipse.jst.server.generic.serverdefinitions=v20050722,:pserver:anonymous@dev.eclipse.org:/home/webtools,,jst/components/server/plugins/org.eclipse.jst.server.generic.serverdefinitions |
| |
| plugin@org.eclipse.jst.server.geronimo.core=v20050713,:pserver:anonymous@dev.eclipse.org:/home/webtools,,jst/components/server/plugins/org.eclipse.jst.server.geronimo.core |
| plugin@org.eclipse.jst.server.geronimo.ui=v20050627_1010,:pserver:anonymous@dev.eclipse.org:/home/webtools,,jst/components/server/plugins/org.eclipse.jst.server.geronimo.ui |
| |
| plugin@org.eclipse.jst.server.websphere.core=v20050720_1722,:pserver:anonymous@dev.eclipse.org:/home/webtools,,jst/components/server/plugins/org.eclipse.jst.server.websphere.core |