From e61402263448cfc7dd877fd4db6c83767cda6e4c Mon Sep 17 00:00:00 2001
From: Tobias Diekershoff <tobias.diekershoff@gmx.net>
Date: Tue, 5 Dec 2017 07:21:21 +0100
Subject: [PATCH] added some x permissions to scripts

---
 util/config               | 0
 util/createdoxygen.php    | 0
 util/vagrant_provision.sh | 0
 util/vagrant_vhost.sh     | 0
 4 files changed, 0 insertions(+), 0 deletions(-)
 mode change 100644 => 100755 util/config
 mode change 100644 => 100755 util/createdoxygen.php
 mode change 100644 => 100755 util/vagrant_provision.sh
 mode change 100644 => 100755 util/vagrant_vhost.sh

diff --git a/util/config b/util/config
old mode 100644
new mode 100755
diff --git a/util/createdoxygen.php b/util/createdoxygen.php
old mode 100644
new mode 100755
diff --git a/util/vagrant_provision.sh b/util/vagrant_provision.sh
old mode 100644
new mode 100755
diff --git a/util/vagrant_vhost.sh b/util/vagrant_vhost.sh
old mode 100644
new mode 100755