This repository was archived by the owner on Jul 4, 2026. It is now read-only.

fix: correct optimized batch filename#70

Open

thehanslevi wants to merge 1 commit into

techjarves:mainfrom

thehanslevi:codex/fix-optimized-bat-name

Commits on Jun 16, 2026

fix: correct optimized batch filename
thehanslevi
committed