8000 Extension tips by waderyan · Pull Request #3034 · microsoft/vscode · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Extension tips #3034

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
wants to merge 5 commits into from
Closed

Extension tips #3034

wants to merge 5 commits into from

Conversation

waderyan
Copy link

Added a couple more extensions to the tips json.

@egamma egamma self-assigned this Feb 16, 2016
@egamma egamma added this to the Feb 2016 milestone Feb 16, 2016
@egamma
Copy link
Member
egamma commented Feb 19, 2016

@waderyan it looks like this PR also includes changes to the Feedback widget. Is this an oversight? The changes to the extension tips looks good to me.

@waderyan
Copy link
Author

Yep that was an oversight. Let me fix that.

@waderyan
Copy link
Author

Close in favor of new PR

@waderyan waderyan closed this Feb 19, 2016
@egamma
Copy link
Member
egamma commented Feb 20, 2016

@waderyan no need for a new PR. I can just commit the changes to the extensiontips.

egamma added a commit that referenced this pull request Feb 20, 2016
@github-actions github-actions bot locked and limited conversation to collaborators Mar 27, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants
0