Skip to content

Conversation

@Dretch
Copy link
Contributor

@Dretch Dretch commented Jul 14, 2018

No description provided.

… purescript- prefix, which is not required (issue #120)
@justinwoo
Copy link
Collaborator

Looks fine. Maybe it should also suggest the stripped prefix version even if it isn't a package in the set

@justinwoo
Copy link
Collaborator

Thanks!

@justinwoo justinwoo merged commit 68bac74 into purescript:master Jul 16, 2018
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.

2 participants