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

Fix #564 #575

Merged
merged 1 commit into from
Aug 25, 2014
Merged

Fix #564 #575

merged 1 commit into from
Aug 25, 2014

Conversation

paf31
Copy link
Contributor

@paf31 paf31 commented Aug 25, 2014

Resolves #564

@paf31
Copy link
Contributor Author

paf31 commented Aug 25, 2014

@garyb I'll probably just merge this one if the tests pass, it's pretty harmless.

@coveralls
Copy link

Coverage Status

Coverage remained the same when pulling 6e473ed on 564 into 2e0559b on master.

@paf31 paf31 changed the title Remove multiple references to --no-prelude Fix #564 Aug 25, 2014
@garyb
Copy link
Member

garyb commented Aug 25, 2014

👍

paf31 added a commit that referenced this pull request Aug 25, 2014
@paf31
Merge pull request #575 from purescript/564
21b4a49 
Fix #564
@paf31 paf31 merged commit 21b4a49 into master Aug 25, 2014
@paf31 paf31 deleted the 564 branch August 25, 2014 17:36
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

--help has duplicate --no-prelude description.
3 participants
@paf31 @coveralls @garyb