From 3bdd6973d176abe833477e4dfea9b268af57a99e Mon Sep 17 00:00:00 2001
From: Roberto Vidal <vidal.roberto.j@gmail.com>
Date: Tue, 16 Apr 2019 22:06:27 +0200
Subject: [PATCH] Fixes unrelated process termination quirk

---
 editors/code/src/utils/terminateProcess.sh | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 mode change 100644 => 100755 editors/code/src/utils/terminateProcess.sh

diff --git a/editors/code/src/utils/terminateProcess.sh b/editors/code/src/utils/terminateProcess.sh
old mode 100644
new mode 100755