Rename build_release.sh to make_dist.sh to avoid confusion.

This commit is contained in:
Marco Cawthorne 2020-12-04 10:15:16 +01:00
parent 4688742264
commit 751315b318
1 changed files with 0 additions and 0 deletions