Skip to content

Changes

Summary

  1. Add a home directory to install latex fonts (details)
Commit f03dd38793ec85e26234417b3486e08a2f07aaa7 by Martin Sjölund
Add a home directory to install latex fonts
The file was modified .CI/Jenkinsfile (diff)