path: root/install_tools.nims

mode = ScriptMode.Verbose

echo "This script is deprecated. Use 'koch tools' instead."

exec "./koch tools"