tree 8ee79ad2223962d2ed09b94d20d7dddc5abc46d2
parent 7ceee468756c8ba05fd8b6e82e98856a6d74bf51
parent 2248c17cd3483c030571cc6163a0e0870da998c2
author Ying Wang <wangying@android.com> 1386011229 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1386011229 +0000

Merge "tools: use '/usr/bin/env python' instead of '/usr/bin/python'"