../ dgd.sh 23-Oct-2026 18:19 475 patch-mud.dgd 23-Oct-2026 18:19 742 patch-src-Makefile 23-Oct-2026 18:19 1590 patch-src-comp-Makefile 23-Oct-2026 18:19 383 patch-src-kfun-std.c 23-Oct-2026 18:19 361