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
 a minimum version of 10 installed. Please refer to
 [node.js and npm documentation](https://nodejs.org) for installation instructions.
+You will also need the most recent version of VS Code: we don't try to
+maintain compatibility with older versions yet.
 The experimental VS Code plugin can then be built and installed by executing the
 following commands:

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
5	a minimum version of 10 installed. Please refer to	5	a 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
		8	You will also need the most recent version of VS Code: we don't try to
		9	maintain compatibility with older versions yet.
		10
8	The experimental VS Code plugin can then be built and installed by executing the	11	The experimental VS Code plugin can then be built and installed by executing the
9	following commands:	12	following commands:
10		13