build/post_install.sh
changeset 520 d6adc4047ede
parent 412 c88746153ee0
child 541 e756a8c72c3d
equal deleted inserted replaced
519:ef3e4841d506 520:d6adc4047ede