Merge pull request #1322 from zed-industries/help-menu-docs

In Help menu, replace 'zed.dev' item with 'Documentation'
0bcd209a3fMax Brunsfeld committed on 7/11/2022, 10:27:46 PM· committed by GitHubparents1e85d6fdc1956f
1 file changedLine totals unavailable