tree a720b03e9a057790fc962271e3fd52803afcd037
parent 51ea9221e62b147939b14ab9fe1852c3f67bec90
author Xavier Ducrohet <xav@android.com> 1342221688 -0700
committer Xavier Ducrohet <xav@android.com> 1342221688 -0700

Update SDK platform-tools revision to 13.

Change-Id: I0eefe31df11e31892f3574c1f8c05025b766b4e1