From 2891bfe000a50181e62293a747b53ce628484d46 Mon Sep 17 00:00:00 2001 From: Dag Date: Thu, 19 Jan 2023 22:15:27 +0100 Subject: [PATCH] Point to Run menu --- INSTALL.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/INSTALL.md b/INSTALL.md index 96681f6..9f51c79 100644 --- a/INSTALL.md +++ b/INSTALL.md @@ -31,7 +31,7 @@ At this point the extension may be debugged in the Extension Development Host: code . ``` -followed by the `Debug/Start Debugging` dropdown (or the `F5` key). To observe the extension in action, view the file `demo.in`. +followed by the `Run/Start Debugging` dropdown (or the `F5` key). To observe the extension in action, view the file `demo.in`. To complete the manual installation, follow the remaining steps to manually create and install the package: