Constant DISABLE_GDB_PRETTY_PRINTERS

pub const DISABLE_GDB_PRETTY_PRINTERS: &'static str = "disable-gdb-pretty-printers";