1bbc4691c5e31c6dd5430d153ab3ddfedba2c24c - servertools/webtools.servertools - Git at Google

commit: 1bbc4691c5e31c6dd5430d153ab3ddfedba2c24c
[log]
author: ndai <ndai>
Mon Jun 04 17:19:13 2007 +0000
committer: ndai <ndai>
Mon Jun 04 17:19:13 2007 +0000
tree: bc6f812a7497140c686a3baf2ba925ef8039bb85
parent: 603803ed7c70cea09f723757b29b6a7781f26d10 [diff]

[188755] JavaEE5 Facets for JBoss 42/5 plugins

plugins/org.eclipse.jst.server.generic.jboss/servers/jboss42.serverdef[diff]

1 file changed

tree: bc6f812a7497140c686a3baf2ba925ef8039bb85