I will paste the same question and Nick’s answer when respin-a
arrived:
Radim Hopp wrote:
I suppose this isn'tnecessary since we have
http://download.jboss.org/jbosstools/configuration/ide-config.properties,
<
http://download.jboss.org/jbosstools/configuration/ide-config.properties>
right?
Nick Boldt wrote:
Probably true, but I like to make sure you guys know how to override
in case it's necessary (or you want to build locally and test a PR).
Thats fine but we are working towards making this mail simpler and
smaller and less differences from what we test and what we ship.
i.e for jbosstools-cat this kind of instructions will be bad having to
rely on.
/max
http://about.me/maxandersen