diff options
| author | Rangi <remy.oukaour+rangi42@gmail.com> | 2018-12-31 18:55:35 -0500 |
|---|---|---|
| committer | Rangi <remy.oukaour+rangi42@gmail.com> | 2018-12-31 18:55:35 -0500 |
| commit | 583838a39d0c9ddd2440f9c12747a616b377e7ec (patch) | |
| tree | 326725c28d868c7cfe37be4a659c42c9e8827e1a | |
| parent | 9f823041860922b8ef4224416e4bcdd38a0b9641 (diff) | |
Make tools/gfx.py executable
| -rw-r--r-- | tools/gfx.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tools/gfx.py b/tools/gfx.py index fae7bbdc4..a3d955627 100644 --- a/tools/gfx.py +++ b/tools/gfx.py @@ -1,3 +1,6 @@ +#!/usr/bin/env python2 +# -*- coding: utf-8 -*- + """Supplementary scripts for graphics conversion.""" import os |