scripts/bootstrap.sh
changeset 985 eb12ad2789fc
parent 794 313d58f9e544