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

Commits

Commits on Aug 21, 2026

Commits on Aug 24, 2026