diff options
author | Johannes Rieken <johannes.rieken@gmail.com> | 2022-07-12 17:23:53 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-07-12 17:23:53 +0300 |
commit | 3cef70638c94ee6bae70517805619b80f98528cc (patch) | |
tree | d2aa3a3c31e21c90bb2a4994d26d95c114e07134 /src/vs/workbench/contrib/extensions | |
parent | eeb8d49317454c4337cde792bbac9e5d3851cf88 (diff) | |
parent | 28e5d3a4b675077904a4c5679d106f978a6788c0 (diff) |
Merge pull request #154933 from microsoft/joh/preferred-gibbon
joh/preferred gibbon
Diffstat (limited to 'src/vs/workbench/contrib/extensions')
0 files changed, 0 insertions, 0 deletions