added some x permissions to scripts

2017-12-05 07:21:21 +01:00 · 2017-12-05 07:21:21 +01:00 · e614022634
commit e614022634
--- a/util/config
+++ b/util/config
--- a/util/createdoxygen.php
+++ b/util/createdoxygen.php
--- a/util/vagrant_provision.sh
+++ b/util/vagrant_provision.sh
--- a/util/vagrant_vhost.sh
+++ b/util/vagrant_vhost.sh