On Fri, Mar 20, 2015 at 5:22 AM, Steffen Planthaber <[email protected]> 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 _______________________________________________ Rock-dev mailing list [email protected] http://www.dfki.de/mailman/cgi-bin/listinfo/rock-dev
