[−][src]Constant mujoco_sys::no_render::mjVERSION_HEADER

pub const mjVERSION_HEADER: u32 = 200;