[Rock-dev] Proposal: Changing rock-ros

[Sylvain Joyeux]

On Fri, Mar 20, 2015 at 5:22 AM, Steffen Planthaber
<Steffen.Planthaber at dfki.de> wrote:
> This way, every rock user would be askes about the ros installation
> folder. I guess this is rather confusing when installing rock.
Not necessarily, if they have the option of disabling it completely
(i.e. saying 'no'). We can also make ensure that the question is asked
only if rock.ros is explicitely selected in the manifest.

Sylvain