Skip to content
This repository has been archived by the owner on Feb 16, 2019. It is now read-only.

Fix bug where we reinstall already installed packages #21

Merged
merged 1 commit into from May 5, 2015

Conversation

forki
Copy link
Contributor

@forki forki commented May 5, 2015

No description provided.

Krzysztof-Cieslak added a commit that referenced this pull request May 5, 2015
Fix bug where we reinstall already installed packages
@Krzysztof-Cieslak Krzysztof-Cieslak merged commit cf6128e into ionide:master May 5, 2015
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
2 participants