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)
Unify shebangs under `#!/usr/bin/python`

1  2 
tools/trace.py

diff --cc tools/trace.py
Simple merge