Piranha could write out an updated file if users wanted to supply the old one, and make sure that the headers were in the correct format. We wouldn't want to overwrite the old file, but could write out a new one with the stuff amalgamated in it. I'll make a note of that in the GitHub issues.
aineniamh
commented
11 months ago
Piranha could write out an updated file if users wanted to supply the old one, and make sure that the headers were in the correct format. We wouldn't want to overwrite the old file, but could write out a new one with the stuff amalgamated in it. I'll make a note of that in the GitHub issues.