From 27d4495d41b43794357621182569f7fd637e89a9 Mon Sep 17 00:00:00 2001
From: amai2012 <amai@users.sf.net>
Date: Wed, 21 Mar 2018 09:13:26 +0100
Subject: [PATCH] Add executable bit to reduce.py

---
 tools/reduce.py | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 mode change 100644 => 100755 tools/reduce.py

diff --git a/tools/reduce.py b/tools/reduce.py
old mode 100644
new mode 100755