From bf34a0aafac887dfef519b0adc659e318d766d25 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Matthias=20Kr=C3=BCger?= <matthias.krueger@famsik.de>
Date: Sun, 5 Jan 2014 10:39:00 +0100
Subject: [PATCH] make tools/times-tags.sh and tools/times.sh executable (mode
 755).

---
 tools/times-tags.sh | 0
 tools/times.sh      | 0
 2 files changed, 0 insertions(+), 0 deletions(-)
 mode change 100644 => 100755 tools/times-tags.sh
 mode change 100644 => 100755 tools/times.sh

diff --git a/tools/times-tags.sh b/tools/times-tags.sh
old mode 100644
new mode 100755
diff --git a/tools/times.sh b/tools/times.sh
old mode 100644
new mode 100755