Skip to content

[pinocchio.Gripper] change name from getter to property. - #180

Merged
nim65s merged 4 commits into
develfrom
gripper.name
Aug 24, 2026
Merged

[pinocchio.Gripper] change name from getter to property.#180
nim65s merged 4 commits into
develfrom
gripper.name

[pre-commit.ci] auto fixes from pre-commit.com hooks

6eeb78c
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar