../ auto-host.h,v 30-Jun-2024 21:38 15707 config.h,v 30-Jun-2024 21:38 5075 defs.mk,v 30-Jun-2024 21:38 6871 gencheck.h,v 30-Jun-2024 21:38 4916 options.h,v 30-Jun-2024 21:38 4917 specs.h,v 30-Jun-2024 21:38 4942 tconfig.h,v 30-Jun-2024 21:38 4991 tm.h,v 30-Jun-2024 21:38 4952