Remove obsolete bash_env.sh script

tesujimath · Oct 18, 2024 · de8735a · de8735a
1 parent 198554f
commit de8735a
Showing 1 changed file with 0 additions and 195 deletions.
diff --git a/scripts/bash_env.sh b/scripts/bash_env.sh