Stefano Pigozzi e52aae355b 🎓 Fix abbreviation		2021-11-19 00:11:26 +01:00
..
source	🎓 Fix abbreviation	2021-11-19 00:11:26 +01:00
.gitattributes	🔨 Move around some files	2021-11-14 04:28:50 +01:00
make.bat	🔨 Move around some files	2021-11-14 04:28:50 +01:00
Makefile	🔨 Pass options to the latex makefile	2021-11-17 21:26:00 +01:00