From df1fa1d615d7e84e94cb53f1fca44a4607543347 Mon Sep 17 00:00:00 2001
From: Pierre Kancir <pierre.kancir.emn@gmail.com>
Date: Thu, 19 May 2022 09:28:33 +0200
Subject: [PATCH] Tools: vagrant: fix exec permissions

---
 Tools/vagrant/initvagrant-desktop.sh  | 0
 Tools/vagrant/initvagrant-trusty64.sh | 0
 2 files changed, 0 insertions(+), 0 deletions(-)
 mode change 100644 => 100755 Tools/vagrant/initvagrant-desktop.sh
 mode change 100644 => 100755 Tools/vagrant/initvagrant-trusty64.sh

diff --git a/Tools/vagrant/initvagrant-desktop.sh b/Tools/vagrant/initvagrant-desktop.sh
old mode 100644
new mode 100755
diff --git a/Tools/vagrant/initvagrant-trusty64.sh b/Tools/vagrant/initvagrant-trusty64.sh
old mode 100644
new mode 100755