[skip ci] deploy script rename

projecteru2 · Mar 17, 2017 · de9d773 · de9d773
1 parent 9ff7589
commit de9d773
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/devtools/upgrade-eru-core.sh → devtools/deploy.sh b/devtools/upgrade-eru-core.sh → devtools/deploy.sh