Reduce size of mjsTexture.gridlayout (was 13, should be 12)

PiperOrigin-RevId: 833764817 Change-Id: I2655a729d38a8871be2024492ce2a971fc8a0372
2025-11-18 04:47:55 -08:00
parent 971e73ab04
commit 62872fecd1
4 changed files with 4 additions and 4 deletions
@@ -8408,7 +8408,7 @@ STRUCTS: Mapping[str, StructDecl] = dict([
                 name='gridlayout',
                 type=ArrayType(
                     inner_type=ValueType(name='char'),
-                     extents=(13,),
+                     extents=(12,),
                 ),
                 doc='row-major: L,R,F,B,U,D for faces; . for unused',
             ),