Merge pull request #799 from zed-industries/debug-project-diagnostics-as-json

Allow dumping the project diagnostic view's state as JSON
aa37c364bbMax Brunsfeld committed on 4/12/2022, 3:40:50 AM· committed by GitHubparentse9214dc949fbe7
9 files changedLine totals unavailable