Move mjrfilament.h to mujoco/include.

PiperOrigin-RevId: 934931460
Change-Id: I63bf34b3a7197b277ea7a5caf3d84d840f6210a1
This commit is contained in:
Haroon Qureshi
2026-06-19 08:00:10 -07:00
committed by Copybara-Service
parent f663139256
commit d93c102190
45 changed files with 82 additions and 79 deletions
+1
View File
@@ -62,6 +62,7 @@ public const bool THIRD_PARTY_MUJOCO_MJRENDER_H_ = true;
public const int mjNAUX = 10;
public const int mjMAXTEXTURE = 1000;
public const int mjMAXMATERIAL = 1000;
public const bool THIRD_PARTY_MUJOCO_MJRFILAMENT_H_ = true;
public const bool THIRD_PARTY_MUJOCO_INCLUDE_MJSAN_H_ = true;
public const bool ADDRESS_SANITIZER = true;
public const bool THIRD_PARTY_MUJOCO_INCLUDE_MJSPEC_H_ = true;