Skip to content

move pluginlib in its own folder#83

Merged
mikaelarguedas merged 1 commit intomelodic-develfrom
pluginlib_own_folder
Nov 8, 2017
Merged

move pluginlib in its own folder#83
mikaelarguedas merged 1 commit intomelodic-develfrom
pluginlib_own_folder

Conversation

@mikaelarguedas
Copy link
Copy Markdown
Member

there are a few style violations but they are not due to this change (come from #77 I missed them when testing) and I will adress them in a follow-up pr.

@wjwwood FYI

@mikaelarguedas mikaelarguedas merged commit 3573ee6 into melodic-devel Nov 8, 2017
@mikaelarguedas mikaelarguedas deleted the pluginlib_own_folder branch November 8, 2017 21:47
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