diff options
author | JF002 <JF002@users.noreply.github.com> | 2021-05-02 10:44:41 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-05-02 10:44:41 +0200 |
commit | a5ef1b987f7c89e9b23561a738bf4ba8b143c4eb (patch) | |
tree | 5415568163e67fee4ba587ade7a004016ba72987 | |
parent | eedff2c06c292bda8dcb92fc04c67097fe72e22f (diff) | |
parent | fd19599f3e62246d37e43380756d162642fe8d9b (diff) |
Merge pull request #281 from panos/develop
bin2c: Don't assume that the default Python version is higher than 2
-rw-r--r-- | tools/bin2c.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/bin2c.py b/tools/bin2c.py index 1d66656a..e5fdb158 100644 --- a/tools/bin2c.py +++ b/tools/bin2c.py @@ -1,4 +1,4 @@ -#!/usr/bin/env python +#!/usr/bin/env python3 #-*- coding: utf-8 -*- """ bin2c @@ -71,4 +71,4 @@ def main(): if __name__ == '__main__': - main()
\ No newline at end of file + main() |