commit | db99c634e0fa821ab98a85247550aa93298e3937 | [log] [tgz] |
---|---|---|
author | ndai <ndai> | Sat May 13 08:19:29 2006 +0000 |
committer | ndai <ndai> | Sat May 13 08:19:29 2006 +0000 |
tree | 942af3b5e37352c72fa5c13547e40e91b079a818 | |
parent | 273b1851e03e685c176fae924b8f4990a8099778 [diff] |
[141659] Package publishing jboss.xml with the plugin not jar
diff --git a/plugins/org.eclipse.jst.server.generic.jboss/build.properties b/plugins/org.eclipse.jst.server.generic.jboss/build.properties index d33d4d7..628cf58 100644 --- a/plugins/org.eclipse.jst.server.generic.jboss/build.properties +++ b/plugins/org.eclipse.jst.server.generic.jboss/build.properties
@@ -4,8 +4,8 @@ plugin.properties,\ servers/,\ icons/,\ - genericjboss.jar,\ - buildfiles/ + buildfiles/,\ + genericjboss.jar src.includes = build.properties source.genericjboss.jar = servers/ jars.compile.order = genericjboss.jar