Skip to content

Revert "Use urdf::*ShredPtr instead of boost::shared_ptr"#1060

Merged
wjwwood merged 1 commit intokinetic-develfrom
revert-1044-urdfdom_headers_fix
Oct 19, 2016
Merged

Revert "Use urdf::*ShredPtr instead of boost::shared_ptr"#1060
wjwwood merged 1 commit intokinetic-develfrom
revert-1044-urdfdom_headers_fix

Conversation

@wjwwood
Copy link
Copy Markdown
Member

@wjwwood wjwwood commented Oct 19, 2016

@wjwwood wjwwood merged commit f54f04d into kinetic-devel Oct 19, 2016
@wjwwood wjwwood deleted the revert-1044-urdfdom_headers_fix branch October 19, 2016 23:52
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.

1 participant