diff options
author | Christian Göttsche <cgzones@googlemail.com> | 2020-08-21 10:37:27 +0200 |
---|---|---|
committer | Christian Göttsche <cgzones@googlemail.com> | 2020-08-21 10:37:27 +0200 |
commit | 40ac7a88af5a2c7c0d03ca4ddb09cde01f7e80c5 (patch) | |
tree | c8d280b66c51338b204dca60968f56c03a30feec /scripts | |
parent | d6adc2b68143b0baef5ad60f0cb0dea70c913ee0 (diff) |
MakeHeader.py: use python3 shebang
Also drop unused import
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/MakeHeader.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/MakeHeader.py b/scripts/MakeHeader.py index 3ef34b88..24533a62 100755 --- a/scripts/MakeHeader.py +++ b/scripts/MakeHeader.py @@ -1,5 +1,5 @@ -#!/usr/bin/env python -import os, sys, string, io +#!/usr/bin/env python3 +import os, sys, io try: from StringIO import StringIO except ImportError: |