From 41709953c3e5650c44914169274ce820dd503e31 Mon Sep 17 00:00:00 2001 From: Kevin Zakka Date: Tue, 19 Nov 2024 14:52:37 -0800 Subject: [PATCH] Update op3.xml.patch to match https://github.com/google-deepmind/mujoco_menagerie/pull/110. PiperOrigin-RevId: 698154713 Change-Id: I6b1a406f2beb84301392de3080b48b27ee057fb3 --- mjpc/tasks/op3/op3.xml.patch | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/mjpc/tasks/op3/op3.xml.patch b/mjpc/tasks/op3/op3.xml.patch index ea4466e1d..2d92e5592 100644 --- a/mjpc/tasks/op3/op3.xml.patch +++ b/mjpc/tasks/op3/op3.xml.patch @@ -6,7 +6,7 @@ diff --git a/op3_modified.xml b/op3_modified.xml + - +