83daa610e2c74b593658902c50b44ac65c2cde38 - jeetools/webtools.javaee - Git at Google

commit: 83daa610e2c74b593658902c50b44ac65c2cde38
[log]
author: dgiormov <dgiormov>
Wed Jan 28 09:08:06 2009 +0000
committer: dgiormov <dgiormov>
Wed Jan 28 09:08:06 2009 +0000
tree: e0972b306b56c702f6e11b1613f8f8394d1c9211
parent: 701e456f5afce3dcbcb134000a8cd523006e1f37 [diff]

[255321] EAR Deployment Descriptor was not refreshing on library copy.

plugins/org.eclipse.jst.jee.ui/src/org/eclipse/jst/jee/ui/internal/navigator/Ear5ContentProvider.java[diff]

1 file changed

tree: e0972b306b56c702f6e11b1613f8f8394d1c9211