From d9dac8a6a81868a4525de4aa12895e1eda982dbc Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Beat=20K=C3=BCng?= Date: Thu, 6 Apr 2017 09:07:06 +0200 Subject: [PATCH] Tools/px_process_params.py: set executable bit --- Tools/px_process_params.py | 0 1 file changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 Tools/px_process_params.py diff --git a/Tools/px_process_params.py b/Tools/px_process_params.py old mode 100644 new mode 100755