Only copy the header if it is different - #306

Merged

OneLoneCoder merged 2 commits into

copy_if_different

Sep 23, 2026

Commits on Sep 20, 2026

Only copy the header if it is different
dandistine
committed
2942cc0
Change to copy_if_different since the github runner is out-of-date.
dandistine
committed
e8082f0