Fix CI
All checks were successful
Build helpers / build_helpers (push) Successful in 5s

This commit is contained in:
2026-01-02 07:11:40 +01:00
parent 04b388c382
commit 4522e88c92

View File

@@ -56,6 +56,7 @@
}
}
}
\newcommand{\hrmvspace}{\vspace{-0.25pc}}
\newcommand{\rmvspace}{\vspace{-0.5pc}}
\newcommand{\mrmvspace}{\vspace{-0.75pc}}