scripts/bootstrap.sh
changeset 754 2de0fc630899
parent 732 1f8ad32f088b
child 794 313d58f9e544