../ tmpl.evc3/ 07-Jul-2026 16:16 - tmpl.evc4/ 07-Jul-2026 16:16 - tmpl.vc5/ 07-Jul-2026 16:16 - tmpl.vc6/ 07-Jul-2026 16:16 - Makefile,v 07-Jul-2026 16:16 20453 config.sh,v 07-Jul-2026 16:16 20025 do_subst.awk,v 07-Jul-2026 16:16 38375 do_subst.sh,v 07-Jul-2026 16:16 22680 gen_template.sh,v 07-Jul-2026 16:16 35295 gen_workspace.sh,v 07-Jul-2026 16:16 22863