[][src]Constant fltk::gl::GL_DEVICE_UUID_EXT

pub const GL_DEVICE_UUID_EXT: u32 = 38295; // 38_295u32