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 /docs/user | |
| 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 'docs/user')
0 files changed, 0 insertions, 0 deletions