rename script to run_distribution

pull/2483/head
Stanley Cheung 10 years ago
parent c876923bc2
commit d76bb254e2
  1. 0
      tools/jenkins/run_distribution.sh
Loading…
Cancel
Save