Filename Modification time Size Makefile 2024-02-03 12:08 CET 1091 B README.md 2024-02-03 12:08 CET 1256 B export.tex 2024-02-03 12:08 CET 16 KiB game.pdf 2024-02-03 12:08 CET 577 KiB game.sty 2024-02-03 12:08 CET 65 KiB game.tex 2024-02-03 12:08 CET 5775 B patch.py 2024-02-03 12:08 CET 755 B