Merge pull request #1555 from zed-industries/terminal-renaming

Renamed all the terminal files
01e3f118b2Mikayla Maki committed on 8/22/2022, 11:50:23 PM· committed by GitHubparentsd50c81924155d3
7 files changedLine totals unavailable