Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - README.md 2023-01-10 10:05 1.2K maze.sty 2023-01-10 09:37 3.7K maze.tex 2023-01-10 01:35 6.9K mazes-picture.png 2023-01-10 09:49 44K maze.pdf 2023-01-10 09:35 135K