Other items indmntk_common
pub const DMNTK_EXECUTABLE: &str = "dmntk";
Name of the toolkit executable.