Skip to content

Conversation

@rikhuijzer
Copy link
Contributor

For me, Documenter.jl version 0.23 was unable to generate the documentation after I copied this project. It did work after updating to 0.24.10. This pull request proposes the newest version of Documenter.jl, that is, 0.25.1.

For me, Documenter.jl version `0.23` was unable to generate the documentation after I copied this project. It did work after updating to `0.24.10`. This merge request proposes the newest version of Documenter.jl, that is, `0.25.1`.
@coveralls
Copy link

Coverage Status

Coverage remained the same at 100.0% when pulling dc53c12 on rikhuijzer:patch-1 into 025cf7e on JuliaLang:master.

1 similar comment
@coveralls
Copy link

Coverage Status

Coverage remained the same at 100.0% when pulling dc53c12 on rikhuijzer:patch-1 into 025cf7e on JuliaLang:master.

@fredrikekre fredrikekre merged commit f4cb34e into JuliaLang:master Aug 1, 2020
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.

3 participants