[][src]Constant jl_sys::JL_OPTIONS_COLOR_OFF

pub const JL_OPTIONS_COLOR_OFF: u32 = 2;