f99e7c0a0687132c2bb9aac76b053b6af7d66acf - gerrit/servertools/webtools.servertools - Git at Google

commit: f99e7c0a0687132c2bb9aac76b053b6af7d66acf
[log] [tgz]
author: eyuen <eyuen>
Wed Feb 08 19:19:32 2012 +0000
committer: eyuen <eyuen>
Wed Feb 08 19:19:32 2012 +0000
tree: 1128c69c89de52e1a013342dfe191d23e1222e04
parent: 84d045320d4f304442fcb3bc1a754b4374eab5d0 [diff]

[370766] Auto publish will not triggered for structure changes

plugins/org.eclipse.wst.server.core/servercore/org/eclipse/wst/server/core/internal/Server.java[diff]

1 file changed

tree: 1128c69c89de52e1a013342dfe191d23e1222e04