julia
update Documenter version
#34487
Merged
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Overview
Commits
1
Changes
View On
GitHub
update Documenter version
#34487
fredrikekre
merged 1 commit into
master
from
kc/update_documenter
update Documenter version
a377f7c7
KristofferC
added
backport 1.4
fredrikekre
approved these changes on 2020-01-23
fredrikekre
merged
6af5f03d
into master
6 years ago
fredrikekre
deleted the kc/update_documenter branch
6 years ago
fredrikekre
added
docsystem
KristofferC
removed
backport 1.4
Login to write a write a comment.
Login via GitHub
Reviewers
fredrikekre
Assignees
No one assigned
Labels
docsystem
Milestone
No milestone
Login to write a write a comment.
Login via GitHub