Skip to content
Snippets Groups Projects

Fix CI error

Merged Fix CI error
devel/fix-fonts into master
Merged Hans-Jörg requested to merge devel/fix-fonts into master
Viewing commit a24b8dd8
Next
Show latest version
Compare changes
  • Side-by-side
  • Inline
  • a24b8dd8
    Hans-Jörg
    Switch to CMU Serif · a24b8dd8
    Hans-Jörg authored 
    This is a computer modern clone with unicode support.  This
hopefully fixes the error in the CI.