Skip to content

Conversation

Philippus
Copy link
Member

Applying this PR will replace the (dead) links to the IDE support page. The page got removed in #15156.

@TheElectronWill TheElectronWill merged commit cdee7a9 into scala:main Jun 4, 2022
@Philippus Philippus deleted the replace-links-to-ide-support-page branch June 4, 2022 11:29
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants