Skip to content

Set extensionKind in package.json#142

Merged
johnpapa merged 1 commit into
johnpapa:masterfrom
mjbvz:patch-1
May 5, 2019
Merged

Set extensionKind in package.json#142
johnpapa merged 1 commit into
johnpapa:masterfrom
mjbvz:patch-1

Conversation

@mjbvz
Copy link
Copy Markdown
Contributor

@mjbvz mjbvz commented May 2, 2019

Fixes #141. See that issue for more info about this

Fixes johnpapa#141. See that issue for more info
@johnpapa johnpapa merged commit 93254e1 into johnpapa:master May 5, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Set extensionKind in package.json to support Remote Development

2 participants