chenlin/Mujoco_WASM
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Merge pull request #3340 from devshahofficial:devshahofficial/mjr-renderer-info

Browse Source 
PiperOrigin-RevId: 948183711
Change-Id: I28b256eca22e86ec0ba05a4fa26458d678aca130
This commit is contained in:
Copybara-Service
2026-07-15 01:37:11 -07:00
parent c69ef03083 d23ff84c59
commit 6c78c8664e
19 changed files with 225 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
wasm/codegen/generators/constants.py
+1
View File
@@ -218,6 +218,7 @@ SKIPPED_STRUCTS: tuple[str, ...] = (
"mjUI",
"mjVFS",
"mjrContext",
"mjrRendererInfo",
"mjrRect",
"mjrVertexAttribute",
"mjuiDef",