Searched refs:dc_default_digit_clamp (Results 1 – 3 of 3) sorted by relevance
535 dc.digit_clamp) dc_default_digit_clamp="$_set_default_on";;578 dc_default_digit_clamp=0;;606 dc_default_digit_clamp=0;;637 dc_default_digit_clamp=1;;668 dc_default_digit_clamp=1;;709 dc_default_digit_clamp=01614 printf 'dc.digit_clamp=%s\n' "$dc_default_digit_clamp"1760 contents=$(replace "$contents" "DC_DEFAULT_DIGIT_CLAMP" "$dc_default_digit_clamp")
82 dc_default_digit_clamp: false101 dc_default_digit_clamp: false