diff options
-rwxr-xr-x | tools/thumb-cc.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/thumb-cc.py b/tools/thumb-cc.py index 53d1051bef..9e2b96c346 100755 --- a/tools/thumb-cc.py +++ b/tools/thumb-cc.py | |||
@@ -1,4 +1,4 @@ | |||
1 | #!/usr/bin/python | 1 | #!/usr/bin/env python3 |
2 | # -*- coding: utf8 -*- | 2 | # -*- coding: utf8 -*- |
3 | # __________ __ ___. | 3 | # __________ __ ___. |
4 | # Open \______ \ ____ ____ | | _\_ |__ _______ ___ | 4 | # Open \______ \ ____ ____ | | _\_ |__ _______ ___ |