[−][src]Constant jl_sys::JL_OPTIONS_HISTORYFILE_OFF

pub const JL_OPTIONS_HISTORYFILE_OFF: u32 = 0;