Searched refs:colored_output (Results 1 - 1 of 1) sorted by relevance

/ontohub/script/
H A Drebuild-ontohub104 if [[ "$colored_output" -eq "1" ]]; then
112 colored_output="1"
131 colored_output="0"

Completed in 190 milliseconds