From 851a0e907e5c4c8d83126ab89ca61a566d08e773 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Martin=20Ho=C5=99e=C5=88ovsk=C3=BD?=
 <martin.horenovsky@gmail.com>
Date: Tue, 10 Nov 2020 15:22:15 +0100
Subject: [PATCH] Make scripts executable

---
 tools/scripts/checkConvenienceHeaders.py | 0
 tools/scripts/checkDuplicateFilenames.py | 0
 tools/scripts/checkLicense.py            | 0
 3 files changed, 0 insertions(+), 0 deletions(-)
 mode change 100644 => 100755 tools/scripts/checkConvenienceHeaders.py
 mode change 100644 => 100755 tools/scripts/checkDuplicateFilenames.py
 mode change 100644 => 100755 tools/scripts/checkLicense.py

diff --git a/tools/scripts/checkConvenienceHeaders.py b/tools/scripts/checkConvenienceHeaders.py
old mode 100644
new mode 100755
diff --git a/tools/scripts/checkDuplicateFilenames.py b/tools/scripts/checkDuplicateFilenames.py
old mode 100644
new mode 100755
diff --git a/tools/scripts/checkLicense.py b/tools/scripts/checkLicense.py
old mode 100644
new mode 100755