../ README.md,v 05-Jul-2023 07:36 2380 defs.mk,v 05-Jul-2023 07:36 1638 main.mk,v 05-Jul-2023 07:36 4620 mkmk.sh,v 05-Jul-2023 07:36 3631