Fixes unrelated process termination quirk

This commit is contained in:
Roberto Vidal 2019-04-16 22:06:27 +02:00
parent 12f28f6276
commit 3bdd6973d1

0
editors/code/src/utils/terminateProcess.sh Normal file → Executable file
View file