[−][src]Constant jl_sys::JL_OPTIONS_COLOR_AUTO

pub const JL_OPTIONS_COLOR_AUTO: u32 = 0;