From 3bdd6973d176abe833477e4dfea9b268af57a99e Mon Sep 17 00:00:00 2001 From: Roberto Vidal Date: Tue, 16 Apr 2019 22:06:27 +0200 Subject: 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 (limited to 'editors/code/src') diff --git a/editors/code/src/utils/terminateProcess.sh b/editors/code/src/utils/terminateProcess.sh old mode 100644 new mode 100755 -- cgit v1.2.3