Revert "Merge branch 'arm' into 'main'" (!4) · Merge requests · INS Courses / Templates / Latex CTAN Docker · GitLab

Marco Martinez requested to merge revert-e3ead4d8 into main Aug 17, 2022

This reverts merge request !3 (merged)