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.

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

Add Standard ML Docset #1037

Merged
merged 4 commits into from Aug 18, 2016

Conversation

Projects
None yet
2 participants
@Luminoid
Contributor

Luminoid commented Aug 17, 2016

No description provided.

@Kapeli

This comment has been minimized.

Show comment
Hide comment
@Kapeli

Kapeli Aug 17, 2016

Owner

You need to set the archive to "Standard ML.tgz" in the docset.json as well.

Owner

Kapeli commented Aug 17, 2016

You need to set the archive to "Standard ML.tgz" in the docset.json as well.

@Kapeli Kapeli merged commit bd63e37 into Kapeli:master Aug 18, 2016

1 check passed

continuous-integration/travis-ci/pr The Travis CI build passed
Details
@Kapeli

This comment has been minimized.

Show comment
Hide comment
@Kapeli

Kapeli Aug 18, 2016

Owner

Thank you! 👍

Owner

Kapeli commented Aug 18, 2016

Thank you! 👍

Kapeli added a commit that referenced this pull request Aug 18, 2016

Add Standard ML Docset (#1037)
* Add Standard ML Docset

* Restore the Sample directory

* Rename the docset

* set the archive to "Standard ML.tgz" in the docset.json
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment