tool/bin/devtools_tool.bat - external/github.com/flutter/devtools - Git at Google

 @echo off

 echo Warning: devtools_tool has been replaced by dt. Please use dt instead.
 %~dp0/dt.bat %*
	@echo off

	echo Warning: devtools_tool has been replaced by dt. Please use dt instead.
	%~dp0/dt.bat %*