Retrieve the binary only when the MuJoCo package is installed.

PiperOrigin-RevId: 461524833 Change-Id: Ie8ca9dda71b35262f99688d02f71be77c251ea3e
2022-07-17 20:47:29 -07:00
parent 0180d839a9
commit e8a9db82b8
2 changed files with 30 additions and 25 deletions
@@ -12,5 +12,6 @@
  "changelogUrl": "https://mujoco.readthedocs.io/en/latest/changelog.html",
  "documentationUrl": "https://mujoco.readthedocs.io/en/latest/unity.html",
  "license": "Apache-2.0",
-  "licensesUrl": "https://github.com/deepmind/mujoco/blob/main/LICENSE"
+  "licensesUrl": "https://github.com/deepmind/mujoco/blob/main/LICENSE",
+  "hideInEditor": false
 }