Closed afrittoli closed 6 days ago
Update the scripts in the tools folder to account for new files and folders.
tools
As the author of this PR, please check off the items in this checklist:
Changes
Update the scripts in the
tools
folder to account for new files and folders.Submitter Checklist
As the author of this PR, please check off the items in this checklist: