diff options
author | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-01-22 21:46:11 +0000 |
---|---|---|
committer | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-01-22 21:46:11 +0000 |
commit | e08df3219d7a06b1e38c632e7f13967fb540769b (patch) | |
tree | c85be9bea6e8ca0e89eeea8363875f3e6bdef7d7 /editors/code/src/extension.ts | |
parent | cc6898acd108feabab94ec86b7e1cd33b1133eb9 (diff) | |
parent | 9582a439e11fbd214e1b8941d2319b8ac7e4ae51 (diff) |
Merge #601
601: Simplify CallInfo label and documentation r=matklad a=kjeremy
Co-authored-by: Jeremy A. Kolb <[email protected]>
Diffstat (limited to 'editors/code/src/extension.ts')
0 files changed, 0 insertions, 0 deletions