[][src]Constant jl_sys::JL_OPTIONS_STARTUPFILE_OFF

pub const JL_OPTIONS_STARTUPFILE_OFF: u32 = 2;