Renamed script to more suitable name

paulscherrerinstitute · Aug 17, 2022 · f7e880e · f7e880e
1 parent f4786ad
commit f7e880e
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/deploy_dev.sh → deploy.sh b/deploy_dev.sh → deploy.sh