cli: small fixes - Githubissues

rock-core / tools-roby

The roby plan manager

Other

3 stars 11 forks source link

Closed doudou closed 6 years ago

g-arjones commented 6 years ago

Looks good.. Are we now merging directly to master?

doudou commented 6 years ago

Yes ! As I stated on the rock mailing lists, I merged the syskit2/roby3 branches last monday.

There are tags that present the 'old master'

g-arjones commented 6 years ago

Cool! :+1: