search

rock-core / tools-roby

The roby plan manager
Other
3 stars 11 forks source link

Bugfixes #67

Closed doudou closed 7 years ago

doudou commented 7 years ago

@gustavoneves12 @dbcesar which tools/roby branch are you running ? Is it this one ?

gustavoneves12 commented 7 years ago

@doudou I am using roby3 branch. This one.

doudou commented 7 years ago

You're not using the branch with the batch-in-the-shell ?

gustavoneves12 commented 7 years ago

After updating the system, the branch was changed to roby3, and I didn't switch back to batch-in-the-shell.

doudou commented 7 years ago

OK well ... I'll merge this anyways.