diff options
| author | Jens Hausdorf <[email protected]> | 2019-09-21 09:24:41 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2019-09-21 09:24:41 +0100 |
| commit | c70e30e4091d627d3f0f7a21fadf8e8304eb9f8d (patch) | |
| tree | 5b013c739617d4639d6e0cd51ea90d9fe394711b /website/website-gen | |
| parent | 0ebba70ea2dd56859409f5647f2b31b431789c8e (diff) | |
Support open source version of vscode as well
Diffstat (limited to 'website/website-gen')
0 files changed, 0 insertions, 0 deletions