julia
[doc] Change PDF cover font to DejaVu Sans
#45290
Merged

[doc] Change PDF cover font to DejaVu Sans #45290

mortenpi
mortenpi Change PDF cover font to DejaVu Sans
3ea23e54
mortenpi mortenpi added docs
mortenpi mortenpi added docsystem
KristofferC
KristofferC approved these changes on 2022-05-12
KristofferC KristofferC merged c65e56f0 into master 3 years ago
mortenpi mortenpi deleted the mp/fix-cover-font branch 3 years ago
mortenpi mortenpi restored the head branch 3 years ago
mortenpi mortenpi deleted the mp/fix-cover-font branch 3 years ago
mortenpi
DilumAluthge DilumAluthge added backport 1.8
KristofferC KristofferC removed backport 1.8

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
Milestone