The files .png and .drawio files in this directory were created from draw.io. This was a manual
procedure and in the future when you need to update any of these images simply follow the steps below.
This readme is really just a reminder of where this stuff came from, and how to get it back to update them in the future.
- Upload the given .drawio file to the draw.io website
- Edit on draw.io as neeeded.
- Save the new .drawio file and replace the one in this directory
- Export the drawing as a .png on the website.
- Replace the cooresponding .png in this directory with the one you just exported.
- Commit your changes, then follow the rest of the source code change process.