Merge pull request #375 from zed-industries/more-project-diagnostics-styling

Last touches on project diagnostics for now
dbf48d2a5bAntonio Scandurra committed on 1/27/2022, 3:47:05 PM· committed by GitHubparents24d1d2a3853826
3 files changedLine totals unavailable