[Rock-dev] configure tasks

Sylvain Joyeux sylvain.joyeux at dfki.de
Thu Jan 12 11:43:12 CET 2012


On 01/12/2012 10:44 AM, Alexander Duda wrote:
> The only thing that comes to my mind is that it could clash with an operation but
> still I think it is worth to add these helper functions.
I completely agree.

Sylvain


More information about the Rock-dev mailing list