Closed grisinformatica closed 3 years ago
Sorry, I'not not very sure how to do this. Can you take the changes and make it happen?
I'm sorry, but that is beyond me.
It seems though you're working on one file at a time so I am assuming you're editing the files in GitHub directly. Instead, you should do the changes in a local copy of your fork then push the changes. That way all files that need changing will be changed at once.
Closing this and your other PRs. Feel free to open a new PR with all changes consolidated. Thanks.
@grisinformatica are you still interested in this PR? If not, I'll be closing this in a week.