48e4e3dc3913e5ff5b0ba2a76dbb6ecec2bf48de - servertools/webtools.servertools - Git at Google

commit: 48e4e3dc3913e5ff5b0ba2a76dbb6ecec2bf48de
[log] [tgz]
author: david_williams <david_williams>
Sun Jun 01 02:34:12 2008 +0000
committer: david_williams <david_williams>
Sun Jun 01 02:34:12 2008 +0000
tree: b2aadc1cc951f87e6c12303e7309d140bb43247a
parent: d5ef3b70cc3d71eaa2cbc72a37ee315910a07107 [diff]

temporarily remove server.doc.isv, since preventing HEAD build from working

features/org.eclipse.wst.server_sdk.feature/feature.xml[diff]

1 file changed

tree: b2aadc1cc951f87e6c12303e7309d140bb43247a