| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| Makefile | 1225 | 2022-May-27 16:32 |
| README | 1569 | 2021-Aug-18 20:44 |
| gamebooklib.dtx | 48639 | 2023-Jul-30 12:47 |
| gamebooklib.ins | 1791 | 2021-Aug-18 20:28 |
| gamebooklib.pdf | 290881 | 2023-Jul-30 12:47 |
| gamebooklib_countpagesperseed.sh | 2252 | 2021-Aug-23 22:14 |
| gamebooklib_test.pdf | 120354 | 2023-Jul-30 12:47 |
| gamebooklib_test.tex | 2634 | 2022-May-26 11:20 |