Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Update op3.xml.patch to match google-deepmind/mujoco_menagerie#110.
PiperOrigin-RevId: 698154713 Change-Id: I6b1a406f2beb84301392de3080b48b27ee057fb3
- Loading branch information