From 34bb77eca73c39045e792be4e710dc95ef285113 Mon Sep 17 00:00:00 2001
From: Geir Hauge <geir.hauge@ntnu.no>
Date: Thu, 29 Nov 2012 15:05:18 +0000
Subject: [PATCH] execute-bit for configure

---
 configure | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 mode change 100644 => 100755 configure

diff --git a/configure b/configure
old mode 100644
new mode 100755