From 9b60df56efe80b00043f84eca3e401d0aa659bc3 Mon Sep 17 00:00:00 2001
From: Ulrich Germann <ugermann@inf.ed.ac.uk>
Date: Tue, 21 Mar 2017 18:19:25 +0000
Subject: [PATCH] Made post-rewrite hook executable in git-hooks.

---
 git-hooks/post-rewrite | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 mode change 100644 => 100755 git-hooks/post-rewrite

diff --git a/git-hooks/post-rewrite b/git-hooks/post-rewrite
old mode 100644
new mode 100755