diff options
| author | JF <jf@codingfield.com> | 2021-05-21 09:38:38 (GMT) |
|---|---|---|
| committer | Gitea <gitea@fake.local> | 2021-05-21 09:38:38 (GMT) |
| commit | de69905c0647997091d9e385538c96de30be93e6 (patch) | |
| tree | 4775001d808da520c93a7552da1bea80e7714a30 /tools | |
| parent | a80e782f267cd2424d22da23d809c0c6a8ff8761 (diff) | |
| parent | 7c9513be8a3bf36fda5706cb0fb1bd6232d42ffd (diff) | |
Merge branch 'develop' of JF/PineTime into master
Diffstat (limited to 'tools')
| -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 1d66656..e5fdb15 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() |