Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at ftp.fau.de Port 443
Parent Directory - Makefile 2022-05-27 18:32 1.2K README 2021-08-18 22:44 1.5K gamebooklib.dtx 2023-07-30 14:47 47K gamebooklib.ins 2021-08-18 22:28 1.7K gamebooklib.pdf 2023-07-30 14:47 284K gamebooklib_countpagesperseed.sh 2021-08-24 00:14 2.2K gamebooklib_test.pdf 2023-07-30 14:47 118K gamebooklib_test.tex 2022-05-26 13:20 2.6K