aboutsummaryrefslogtreecommitdiff
path: root/editors
diff options
context:
space:
mode:
Diffstat (limited to 'editors')
-rw-r--r--editors/README.md3
1 files changed, 3 insertions, 0 deletions
diff --git a/editors/README.md b/editors/README.md
index eb1004914..6e1189cad 100644
--- a/editors/README.md
+++ b/editors/README.md
@@ -5,6 +5,9 @@ In order to build the VS Code plugin, you need to have node.js and npm with
5a minimum version of 10 installed. Please refer to 5a minimum version of 10 installed. Please refer to
6[node.js and npm documentation](https://nodejs.org) for installation instructions. 6[node.js and npm documentation](https://nodejs.org) for installation instructions.
7 7
8You will also need the most recent version of VS Code: we don't try to
9maintain compatibility with older versions yet.
10
8The experimental VS Code plugin can then be built and installed by executing the 11The experimental VS Code plugin can then be built and installed by executing the
9following commands: 12following commands:
10 13