diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2019-09-21 12:33:41 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2019-09-21 12:33:41 +0100 |
commit | 468e1d14c1a4b3d646207ae919082dc17753cd31 (patch) | |
tree | 5b013c739617d4639d6e0cd51ea90d9fe394711b /crates/ra_prof/src/memory_usage.rs | |
parent | 0ebba70ea2dd56859409f5647f2b31b431789c8e (diff) | |
parent | c70e30e4091d627d3f0f7a21fadf8e8304eb9f8d (diff) |
Merge #1891
1891: Support open source version of vscode as well r=matklad a=jens1o
This patch adds support for https://github.com/VSCodium/vscodium - an truly open source version of vscode.
Co-authored-by: Jens Hausdorf <[email protected]>
Diffstat (limited to 'crates/ra_prof/src/memory_usage.rs')
0 files changed, 0 insertions, 0 deletions