PR #30697 some documentation improvements

some documentation improvements #30697

JeffBezanson merged 2 commits into master from jb/docstuff

some documentation improvements

afdb69dd

JeffBezanson added docs

fredrikekre added backport pending 1.0

fredrikekre added backport pending 1.1.1

ararslan approved these changes on 2019-01-12

stevengj approved these changes on 2019-01-12

Update basedocs.jl

cfaaff55

JeffBezanson merged 0ecaffb8 into master 7 years ago

JeffBezanson deleted the jb/docstuff branch 7 years ago

JeffBezanson removed triage backport pending 1.0

JeffBezanson added backport pending 1.1

JeffBezanson removed triage backport pending 1.1

Reviewers

stevengj

ararslan

Assignees

No one assigned

Labels

docs

Milestone

No milestone