Apache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80Name Last modified Size Description
Parent Directory -
patch.py 2024-02-03 12:08 755
Makefile 2024-02-03 12:08 1.1K
README.md 2024-02-03 12:08 1.2K
game.tex 2024-02-03 12:08 5.6K
export.tex 2024-02-03 12:08 16K
game.sty 2024-02-03 12:08 65K
game.pdf 2024-02-03 12:08 577K