Skip to content

Feature/goal checker selector#154

Merged
SteveMacenski merged 11 commits intoros-navigation:masterfrom
pabloinigoblasco:feature/goal_checker_selector
Apr 28, 2021
Merged

Feature/goal checker selector#154
SteveMacenski merged 11 commits intoros-navigation:masterfrom
pabloinigoblasco:feature/goal_checker_selector

Conversation

@pabloinigoblasco
Copy link
Copy Markdown
Contributor

Documentation for the goal checker selector

@SteveMacenski SteveMacenski merged commit f860a62 into ros-navigation:master Apr 28, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants