Merge pull request #1065 from zed-industries/fix-build-script

Fix theme build issue in build.rs
6a32d55d85Nathan Sobo committed on 5/25/2022, 9:51:32 PM· committed by GitHubparentsd60241142e88c4
1 file changedLine totals unavailable