| File Name ↓ | File Size ↓ | Date ↓ | |
|---|---|---|---|
| Parent directory/ | - | - | |
| Makefile | 1091 | 2024-Nov-19 18:47 | |
| README.md | 1256 | 2024-Nov-19 18:47 | |
| export.tex | 16547 | 2024-Nov-19 18:47 | |
| game.pdf | 604278 | 2024-Nov-19 18:47 | |
| game.sty | 66424 | 2024-Nov-19 18:47 | |
| game.tex | 5775 | 2024-Nov-19 18:47 | |
| patch.py | 755 | 2024-Nov-19 18:47 | |