Merge pull request #2146 from SaveTheRbtz/revert_shebangs
authorTeng Qin <palmtenor@gmail.com>
Wed, 16 Jan 2019 19:03:35 +0000 (11:03 -0800)
committerGitHub <noreply@github.com>
Wed, 16 Jan 2019 19:03:35 +0000 (11:03 -0800)
commitb0bf04ac4042a6c004b15dcc5e40e12ae78020f9
tree0aba4be88edae5d02718d37804ef2ef4ce1ccb7b
parent98fd5030e71ab4a265ef92f5502d767c8f0809ba
parent76b5d5d9b6991e3831d286fe91f0dc7b59e4c71e
Merge pull request #2146 from SaveTheRbtz/revert_shebangs

Unify shebangs under `#!/usr/bin/python`
tools/trace.py