scripts/make_binary_distribution.sh · a69a96e26a06d08d5f1060469c630f6296c64dfc · nexedi / MariaDB

Merge pilot.blaudden:/home/msvensson/mysql/mysql-5.0-maint · 2e7e6ed5

unknown authored Feb 28, 2007

into  pilot.blaudden:/home/msvensson/mysql/mysql-5.1-maint


scripts/make_binary_distribution.sh:
  Auto merged
BitKeeper/deleted/.del-make_win_bin_dist:
  Auto merged

2e7e6ed5

make_binary_distribution.sh 13.3 KB

Replace make_binary_distribution.sh