diff --git a/bin/release.py b/bin/release.py index e4757fcaf62..4230a2a387c 100644 --- a/bin/release.py +++ b/bin/release.py @@ -1,4 +1,3 @@ -#!/usr/bin/env python # -*- encoding: utf-8 -*- ############################################################################## # diff --git a/bin/tools/graph.py b/bin/tools/graph.py old mode 100644 new mode 100755 diff --git a/bin/tools/which.py b/bin/tools/which.py old mode 100644 new mode 100755