diff --git a/tool/bin/devtools_tool b/tool/bin/devtools_tool deleted file mode 100755 index 14278617c57..00000000000 --- a/tool/bin/devtools_tool +++ /dev/null @@ -1,8 +0,0 @@ -#!/bin/bash -e - -# This file serves as an alias for the 'dt' executable so that -# the legacy `dt` can be used. -# TODO(kenz): remove this file in ~6 months (April 2025). - -echo Warning: devtools_tool has been replaced by dt. Please use dt instead. -dt $@ diff --git a/tool/bin/devtools_tool.bat b/tool/bin/devtools_tool.bat deleted file mode 100644 index 685b02e6367..00000000000 --- a/tool/bin/devtools_tool.bat +++ /dev/null @@ -1,7 +0,0 @@ -REM Copyright 2025 The Flutter Authors -REM Use of this source code is governed by a BSD-style license that can be -REM found in the LICENSE file or at https://developers.google.com/open-source/licenses/bsd. -@echo off - -echo Warning: devtools_tool has been replaced by dt. Please use dt instead. -%~dp0/dt.bat %*