Skip to content

Fix the name of the vscode extension recommendation#4382

Merged
alexet merged 1 commit intomainfrom
alexet-patch-1
Oct 2, 2020
Merged

Fix the name of the vscode extension recommendation#4382
alexet merged 1 commit intomainfrom
alexet-patch-1

Conversation

@alexet
Copy link
Contributor

@alexet alexet commented Oct 1, 2020

The name is case sensitive so it didn't work before.

The name is case sensitive so it didn't work before.
@alexet alexet merged commit 754d82c into main Oct 2, 2020
@tausbn tausbn deleted the alexet-patch-1 branch May 9, 2022 15:16
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.

3 participants