Skip to content

Update for PureScript 0.11#5

Merged
garyb merged 1 commit intomasterfrom
ps-0.11
Mar 26, 2017
Merged

Update for PureScript 0.11#5
garyb merged 1 commit intomasterfrom
ps-0.11

Conversation

@garyb
Copy link
Copy Markdown
Member

@garyb garyb commented Mar 25, 2017

No description provided.

@garyb garyb merged commit 39479c2 into master Mar 26, 2017
@garyb garyb deleted the ps-0.11 branch March 26, 2017 01:43
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.

1 participant