scripts/bootstrap.sh
changeset 871 d3e32a777d0b
parent 794 a42f46828cc1
child 923 e77b621e6e7e