From 1394b02c2e2158b2796a51ca622c17893f78361f Mon Sep 17 00:00:00 2001
From: Lorenz Meier <lm@inf.ethz.ch>
Date: Tue, 11 Nov 2014 13:45:25 +0100
Subject: [PATCH] Make tools executable

---
 Documentation/versionfilter.sh | 0
 Tools/px_generate_xml.sh       | 0
 Tools/px_update_wiki.sh        | 0
 3 files changed, 0 insertions(+), 0 deletions(-)
 mode change 100644 => 100755 Documentation/versionfilter.sh
 mode change 100644 => 100755 Tools/px_generate_xml.sh
 mode change 100644 => 100755 Tools/px_update_wiki.sh

diff --git a/Documentation/versionfilter.sh b/Documentation/versionfilter.sh
old mode 100644
new mode 100755
diff --git a/Tools/px_generate_xml.sh b/Tools/px_generate_xml.sh
old mode 100644
new mode 100755
diff --git a/Tools/px_update_wiki.sh b/Tools/px_update_wiki.sh
old mode 100644
new mode 100755
-- 
GitLab