common/dev.ust.zinc.grader.extension/disable

disable

fun Timer.disable()