/patch-aa/1.3/Mon Nov  8 01:01:16 2021//
/patch-ab/1.2/Mon Nov  8 01:01:16 2021//
/patch-ac/1.2/Mon Nov  8 01:01:16 2021//
/patch-dungeon-gdt_Makefile/1.2/Thu Oct 17 16:36:07 2013//
/patch-glkterm_Makefile/1.1/Thu Oct 17 16:36:07 2013//
/patch-glkterm_gtfref_c/1.2/Thu Oct 17 16:36:07 2013//
D