Sign in
eclipse
/
servertools
/
webtools.servertools
/
d2e9f338e1b640816963798479c243fa7e34e6e8
commit
d2e9f338e1b640816963798479c243fa7e34e6e8
[
log
]
author
david_williams <david_williams>
Wed Jan 16 15:58:04 2008 +0000
committer
david_williams <david_williams>
Wed Jan 16 15:58:04 2008 +0000
tree
0c988c333ea5016376a4fdd7819cb6ab43032817
parent
be5fa2bf11b801fa580f70f777ba7171c022f0ad
[
diff
]
210702 Closing the Servers project should refresh the Servers view
features/org.eclipse.wst.server_core.feature.patch/buildnotes_org.eclipse.wst.server_core.feature.patch.html
[
diff
]
features/org.eclipse.wst.server_core.feature.patch/feature.properties
[
diff
]
plugins/org.eclipse.wst.server.core/servercore/org/eclipse/wst/server/core/internal/ResourceManager.java
[
diff
]
3 files changed
tree: 0c988c333ea5016376a4fdd7819cb6ab43032817
features/
plugins/
