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