../ auto-host.h,v 30-Jun-2024 21:38 15681 config.h,v 30-Jun-2024 21:38 5059 defs.mk,v 30-Jun-2024 21:38 7933 gencheck.h,v 30-Jun-2024 21:38 4896 hconfig.h,v 30-Jun-2024 21:38 3748 options.h,v 30-Jun-2024 21:38 4897 specs.h,v 30-Jun-2024 21:38 4922 tconfig.h,v 30-Jun-2024 21:38 4975 tm.h,v 30-Jun-2024 21:38 4962