diff options
| -rwxr-xr-x | gen_makefile.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gen_makefile.py b/gen_makefile.py index 93c8c3c..2e8a330 100755 --- a/gen_makefile.py +++ b/gen_makefile.py @@ -1,4 +1,4 @@ -#!/usr/bin/env python +#!/usr/bin/env python3 ## Copyright (c) 2015 Olivier Gayot <duskcoder@gmail.com> ## |