diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2012-12-19 15:53:52 -0800 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2012-12-19 15:53:52 -0800 |
| commit | 5445cdd01d408e5f1a0d1a23b29b30a973560ced (patch) | |
| tree | 995be7ae4b92d3acacb216e5b318129e4beece7e /third_party/demangler.py | |
| parent | 1c796635aa711764d18a47577d5e94ead309506c (diff) | |
| parent | ad2edc2ca4d6a873a5797bb23cef546cc87b3ff7 (diff) | |
Merge pull request #758 from alankligman/incoming
Python compatibility
Diffstat (limited to 'third_party/demangler.py')
| -rw-r--r-- | third_party/demangler.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/third_party/demangler.py b/third_party/demangler.py index 1066643b..66e8eaea 100644 --- a/third_party/demangler.py +++ b/third_party/demangler.py @@ -1,4 +1,4 @@ -#!/usr/bin/python +#!/usr/bin/python2 ''' Simple tool to run the demangler. |