Closed
Description
Rather than including IDE information on the Workspaces page, create one for IDEs (and omit use of the term editor)
{{ message }}
No type
No projects
No milestone
None yet
No branches or pull requests
Rather than including IDE information on the Workspaces page, create one for IDEs (and omit use of the term editor)