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

pub const mjKEY_DELETE: u32 = 261;