latex-packages/scripts
Maximilian Keßler 72cc9d78b0
All checks were successful
Build LaTeX packages / build (push) Successful in 1m50s
set -e for compilation script
2023-10-19 02:49:26 +02:00
..
compile_doc.sh set -e for compilation script 2023-10-19 02:49:26 +02:00