Merge pull request #1018 from zed-industries/generate-themes-on-build

Remove checked-in theme JSON files
8dd6ad3116Max Brunsfeld committed on 5/18/2022, 9:26:54 PM· committed by GitHubparentsbdeac6bfbacc12
18 files changedLine totals unavailable