Remove boot_dev_cluster.sh

This script is not used anywhere. We start a dev cluster in dev/run for local development and for tests.
apache · Mar 25, 2024 · de09929 · de09929
1 parent 772b3a9
commit de09929
Showing 1 changed file with 0 additions and 40 deletions.
diff --git a/rel/boot_dev_cluster.sh b/rel/boot_dev_cluster.sh