Skip to content
This repository was archived by the owner on Oct 4, 2020. It is now read-only.

Update for PureScript 0.11 #91

Merged
merged 1 commit into from
Mar 27, 2017
Merged

Update for PureScript 0.11 #91

merged 1 commit into from
Mar 27, 2017

Conversation

garyb
Copy link
Member

@garyb garyb commented Mar 25, 2017

No description provided.

@garyb garyb merged commit ed78001 into master Mar 27, 2017
@garyb garyb deleted the ps-0.11 branch March 27, 2017 20:48
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.

1 participant