Przeglądaj źródła

Merge pull request #2483 from stanley-cheung/add_homebrew_to_jenkins

Rename Jenkins script to run_distribution
Jan Tattermusch 10 lat temu
rodzic
commit
9d70c81081
1 zmienionych plików z 0 dodań i 0 usunięć
  1. 0 0
      tools/jenkins/run_distribution.sh

+ 0 - 0
tools/jenkins/run_linuxbrew.sh → tools/jenkins/run_distribution.sh