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