Merge pull request #1183 from zed-industries/project-panel-refinements

Polish project panel UX
7e23bc0c98Antonio Scandurra committed on 6/14/2022, 12:04:25 PM· committed by GitHubparents53387e25dd28b7
1 file changedLine totals unavailable