Filename Modification time Size README 2017-08-08 20:14 CEST 739 B texfot.pdf 2023-08-29 17:21 CEST 33 KiB texfot.pl 2023-08-29 17:20 CEST 16 KiB