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