Filename Modification time Size glue.pdf 2024-07-09 19:33 CEST 193 KiB tex-changes.pdf 2024-07-09 19:33 CEST 1826 KiB tex.pdf 2024-07-09 19:32 CEST 3530 KiB tripman.pdf 2024-07-09 19:33 CEST 318 KiB