diff options
-rw-r--r-- | xtask/src/main.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/xtask/src/main.rs b/xtask/src/main.rs index 536a67047..3e07daae9 100644 --- a/xtask/src/main.rs +++ b/xtask/src/main.rs | |||
@@ -47,7 +47,7 @@ USAGE: | |||
47 | 47 | ||
48 | FLAGS: | 48 | FLAGS: |
49 | --client[=CLIENT] Install only VS Code plugin. | 49 | --client[=CLIENT] Install only VS Code plugin. |
50 | CLIENT is one of 'code', 'code-insiders', 'codium', or 'code-oss' | 50 | CLIENT is one of 'code', 'code-exploration', 'code-insiders', 'codium', or 'code-oss' |
51 | --server Install only the language server | 51 | --server Install only the language server |
52 | --mimalloc Use mimalloc for server | 52 | --mimalloc Use mimalloc for server |
53 | -h, --help Prints help information | 53 | -h, --help Prints help information |