remove run_dev.sh

lucky-sideburn · Oct 1, 2023 · 7a5ca31 · 7a5ca31
1 parent fcbc65e
commit 7a5ca31
Showing 1 changed file with 0 additions and 9 deletions.
diff --git a/dev-tools/dev/run_dev.sh b/dev-tools/dev/run_dev.sh