search

rock-core / tools-roby

The roby plan manager
Other
3 stars 11 forks source link

Cleanup #89

Closed doudou closed 6 years ago

doudou commented 6 years ago

This is general cleanup and bugfixes, some already part of #83

Since the core comits of #83 are fairly involved, I'd like to have more real-life testing of them before I merge them. These are a lot less problematic, and could be merged more quickly.

I'm going to rebase #83 on top of this once it is merged.

g-arjones commented 6 years ago

Forgot about this one.. Looks good :+1: