[Rock-dev] roby shell
Sylvain Joyeux
sylvain.joyeux at dfki.de
Fri Jan 6 10:49:19 CET 2012
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
More information about the Rock-dev
mailing list