Skip to content
Snippets Groups Projects

Fix CI error

Merged Hans-Jörg requested to merge devel/fix-fonts into master
1 file
+ 1
1
Compare changes
  • Side-by-side
  • Inline
+ 1
1
image: dockershelf/latex:full
image: kjarosh/latex:2023.1
stages:
- build
Loading