julia
c65e56f0 - Change PDF cover font to DejaVu Sans (#45290)

Commit

3 years ago

Change PDF cover font to DejaVu Sans (#45290)

References

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

Author

mortenpi

mortenpi

Parents

Loading