From 40ac7a88af5a2c7c0d03ca4ddb09cde01f7e80c5 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Christian=20G=C3=B6ttsche?= Date: Fri, 21 Aug 2020 10:37:27 +0200 Subject: [PATCH] MakeHeader.py: use python3 shebang Also drop unused import --- scripts/MakeHeader.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/scripts/MakeHeader.py b/scripts/MakeHeader.py index 3ef34b88..24533a62 100755 --- a/scripts/MakeHeader.py +++ b/scripts/MakeHeader.py @@ -1,5 +1,5 @@ -#!/usr/bin/env python -import os, sys, string, io +#!/usr/bin/env python3 +import os, sys, io try: from StringIO import StringIO except ImportError: