Somehow I can't find this extension when searching for it in the extensions tab in VSCode for https://gitpod.io
Is there a way to work around this? By maybe getting a snippet file of all the snippets in this extension while we hopefully wait for a variation of the extension that works for gitpod.io ?
Somehow I can't find this extension when searching for it in the extensions tab in VSCode for https://gitpod.io
Is there a way to work around this? By maybe getting a snippet file of all the snippets in this extension while we hopefully wait for a variation of the extension that works for gitpod.io ?