refs/heads/R3_3_maintenance - gerrit/servertools/webtools.servertools - Git at Google

commit: c985fd8bf7310c4411529e6639f590828231cf0e
[log] [tgz]
author: eyuen <eyuen>
Fri Feb 10 19:38:55 2012 +0000
committer: eyuen <eyuen>
Fri Feb 10 19:38:55 2012 +0000
tree: 4460cddad06ceee1971a29da2164b9d6760ae8fc
parent: f99e7c0a0687132c2bb9aac76b053b6af7d66acf [diff]

[371060] [hotbug] "Create a new local server" checkbox disappears

plugins/org.eclipse.wst.server.ui/serverui/org/eclipse/wst/server/ui/internal/viewers/RuntimeTypeComposite.java[diff]

1 file changed

tree: 4460cddad06ceee1971a29da2164b9d6760ae8fc