scripts/make_release.sh
changeset 754 ed78bb93a287
parent 570 cbd07fbdc125