[Rock-dev] roby shell

Sylvain Joyeux sylvain.joyeux at dfki.de
Fri Jan 6 10:49:19 CET 2012

Previous message: [Rock-dev] roby shell
Next message: [Rock-dev] roby shell
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

I pushed some commits to next yesterday that should fix this issue. Can 
you try it out and tell us if everything's fine again ?

Sylvain

Previous message: [Rock-dev] roby shell
Next message: [Rock-dev] roby shell
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Rock-dev mailing list