|
@@ -802,7 +802,7 @@ the two modes:
|
|
|
|
|
|
This instance of VSCode uses plugins that are useful for the development
|
|
|
of the application. ``devtool ide-sdk`` generates the necessary
|
|
|
- ``extensions.json``, ``settings.json``, ``tasks.json``and ``launch.json``
|
|
|
+ ``extensions.json``, ``settings.json``, ``tasks.json`` and ``launch.json``
|
|
|
configuration files for all the involved plugins.
|
|
|
|
|
|
When the source code folder present in the workspace folder is opened in
|