From 38a191913f0183dc1a6c6b15c93dc70db3a9c8de Mon Sep 17 00:00:00 2001
From: Jorge Aparicio <jorge@japaric.io>
Date: Thu, 9 Nov 2017 19:37:16 +0100
Subject: [PATCH] don't terminate OpenOCD; it's needed for VSCode

---
 doc/Quickstart.md | 2 --
 1 file changed, 2 deletions(-)

diff --git a/doc/Quickstart.md b/doc/Quickstart.md
index 44fbc18..d2eb557 100644
--- a/doc/Quickstart.md
+++ b/doc/Quickstart.md
@@ -578,8 +578,6 @@ First some cleanup:
 
 - Terminate any open GDB clients connected to the OpenOCD GDB server.
 
-- Terminate the OpenOCD process.
-
 - Remove, or rename, the local `.gdbinit` file.
 
 Now open the `app` folder with VSCode.
-- 
GitLab