Skip to content

Write files only if modified#836

Merged
JohnnyMorganz merged 2 commits intomainfrom
write-on-modified-only
Dec 23, 2023
Merged

Write files only if modified#836
JohnnyMorganz merged 2 commits intomainfrom
write-on-modified-only

Commits

Commits on Dec 23, 2023