Skip to content

Make header generation rename the file after format#28

Merged
saki7 merged 5 commits into
mainfrom
preprocess-rename-after-format
Feb 16, 2026
Merged

Make header generation rename the file after format#28
saki7 merged 5 commits into
mainfrom
preprocess-rename-after-format