Stefano Pigozzi 753df5cb08 Trigger a new github actions build		2022-12-11 15:38:04 +01:00
..
source	🔧 This!?	2021-12-07 18:39:49 +01:00
.gitattributes	🔨 Move around some files	2021-11-14 04:28:50 +01:00
latex_index_remover.py	🎓 Fix the script	2021-12-02 17:55:39 +01:00
make.bat	🔨 Move around some files	2021-11-14 04:28:50 +01:00
Makefile	Trigger a new github actions build	2022-12-11 15:38:04 +01:00