Skip to content
Snippets Groups Projects
Unverified Commit d6456f01 authored by Justin Carpentier's avatar Justin Carpentier Committed by GitHub
Browse files

Merge pull request #588 from jcarpent/topic/namespace

Change from namespace se3 to pinocchio
parents b66901e8 b18fe84c
Branches
Tags
Loading
Showing
with 67 additions and 67 deletions
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment