Skip to content

Try fixing compile error in docs #5820

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
Merged
merged 1 commit into from
Jan 29, 2019
Merged

Try fixing compile error in docs #5820

merged 1 commit into from
Jan 29, 2019

Conversation

Blaisorblade
Copy link
Contributor

Error: http://dotty-ci.epfl.ch/lampepfl/dotty/10144/6.
Fixed by following nearby examples — and genDocs now works locally.

@ghost ghost assigned Blaisorblade Jan 29, 2019
@ghost ghost added the review label Jan 29, 2019
@Blaisorblade Blaisorblade requested a review from smarter January 29, 2019 21:53
@smarter smarter merged commit 05cdff8 into scala:master Jan 29, 2019
@ghost ghost removed the review label Jan 29, 2019
@Blaisorblade Blaisorblade deleted the fix-docs branch January 29, 2019 23:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@smarter smarter smarter approved these changes

Assignees

@Blaisorblade Blaisorblade

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@Blaisorblade @smarter