Stefano Pigozzi e85d968d05 🎓 Looks like a good point to save		2021-11-20 01:00:22 +01:00
..
source	🎓 Looks like a good point to save	2021-11-20 01:00:22 +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