diff --git a/package.json b/package.json index 6854abc..1797f1b 100644 --- a/package.json +++ b/package.json @@ -196,7 +196,7 @@ "type": "string" }, "default": [], - "description": "Absolute paths to assemblies to be used as plugins (requires restart and Dafny 3.4.0+).\nExample 1: /user/home/dafnyplugin.dll\nExample 2: /user/home/dafnyplugin.dll,oneArgument\nExample 3: /user/home/dafnyplugin.dll,\"argument with space and \\\" escaped quote\" secondArgument" + "description": "(Deprecated, use repeated --plugin: in Language Server Launch Args) Absolute paths to assemblies to be used as plugins (requires restart and Dafny 3.4.0+).\nExample 1: /user/home/dafnyplugin.dll\nExample 2: /user/home/dafnyplugin.dll,oneArgument\nExample 3: /user/home/dafnyplugin.dll,\"argument with space and \\\" escaped quote\" secondArgument" }, "dafny.languageServerLaunchArgs": { "type": "array",