julia
Correct language in documentation
#29502
Merged

Correct language in documentation #29502

bkamins
bkamins correct language in documentation
e3cdfdb2
Sacha0
Sacha0 approved these changes on 2018-10-03
StefanKarpinski
StefanKarpinski approved these changes on 2018-10-03
fredrikekre fredrikekre added docs
fredrikekre fredrikekre added backport pending 1.0
JeffBezanson JeffBezanson merged 37dc16e6 into master 7 years ago
bkamins bkamins deleted the minor_doc_fix branch 7 years ago
KristofferC KristofferC removed backport pending 1.0

Login to write a write a comment.

Login via GitHub

Assignees
No one assigned
Labels
Milestone