diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-12-08 19:32:55 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-12-08 19:32:55 +0000 |
| commit | e4c6c70d5de153c8fb272a83d1e4dab98658022b (patch) | |
| tree | a6ea4e6502b28269c304d4b480a7697f04d1b522 /xtask/src/main.rs | |
| parent | 0e2b1b7b8fe484f439804432cdb2374db082c8e4 (diff) | |
| parent | 019ad2593962b3d949fdf8516619db08468df2d0 (diff) | |
Merge #6770
6770: Update usage string to include code-exploration client. r=lnicola a=derdaele
Support for `code-exploration` client was added #6766 in but the usage string wasn't updated.
Co-authored-by: Jérémy <[email protected]>
Diffstat (limited to 'xtask/src/main.rs')
| -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 |