Skip to content
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.

Sign up for GitHub

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

Jump to bottom

Checking whether a tool is installed is not scoped to the workspace #1893

Closed
DonJayamanne opened this issue Jun 7, 2018 · 0 comments · Fixed by #1895
Closed

Checking whether a tool is installed is not scoped to the workspace #1893

DonJayamanne opened this issue Jun 7, 2018 · 0 comments · Fixed by #1895
Assignees
@DonJayamanne
Labels
area-formatting area-linting area-testing bug Issue identified by VS Code Team member as probable bug
Milestone
June 2018

Comments

@DonJayamanne
Copy link

No description provided.

@DonJayamanne DonJayamanne added bug Issue identified by VS Code Team member as probable bug area-linting needs PR area-formatting area-testing labels Jun 7, 2018
@DonJayamanne DonJayamanne added this to the June 2018 milestone Jun 7, 2018
@DonJayamanne DonJayamanne self-assigned this Jun 7, 2018
@DonJayamanne DonJayamanne mentioned this issue Jun 7, 2018
Merged
2 tasks
@lock lock bot locked as resolved and limited conversation to collaborators Jul 18, 2018
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@DonJayamanne DonJayamanne

Labels
area-formatting area-linting area-testing bug Issue identified by VS Code Team member as probable bug
Projects
None yet
Milestone
June 2018
Development

Successfully merging a pull request may close this issue.

Ensure resource is passed into isInstalled method DonJayamanne/pythonVSCode
2 participants
@brettcannon @DonJayamanne