search

JuliaDocs / DocumenterTools.jl

Extra tools for setting up Documenter
Other
30 stars 19 forks source link

Update version to 0.1.15. #63

Closed fredrikekre closed 2 years ago

mortenpi commented 2 years ago

While we should tag this anyway, I don't think this will help with https://github.com/JuliaDocs/Documenter.jl/pull/1887 because we dropped Julia 1.0 support here a few versions ago.

mortenpi commented 2 years ago

We should also add a CHANGELOG note for this version.

fredrikekre commented 2 years ago

Ah, I see. Then I suggest just hacking the CI script.Users won't run into that problem