Skip to content

Up Documenter.jl#2315

Merged
bkamins merged 1 commit intomasterfrom
bkamins-documenter-ver
Jul 10, 2020
Merged

Up Documenter.jl#2315
bkamins merged 1 commit intomasterfrom
bkamins-documenter-ver

Conversation

@bkamins
Copy link
Copy Markdown
Member

@bkamins bkamins commented Jul 10, 2020

Change documenter version to latest 0.25. This is mainly needed to allow for dark theme.

@bkamins bkamins added doc non-breaking The proposed change is not breaking backport labels Jul 10, 2020
@bkamins bkamins merged commit ddba103 into master Jul 10, 2020
@bkamins bkamins deleted the bkamins-documenter-ver branch July 10, 2020 09:48
@bkamins
Copy link
Copy Markdown
Member Author

bkamins commented Jul 10, 2020

Thank you!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

backport doc non-breaking The proposed change is not breaking

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants