Re: [jbosstools-dev] JBoss Tools Core 4.2.0.Beta2c bits available for QE testing

> > 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.