Skip to content

Conversation

@Duhemm
Copy link
Contributor

@Duhemm Duhemm commented Nov 2, 2018

No description provided.

@Duhemm Duhemm force-pushed the topic/ide-modules branch from 7999658 to 53bb232 Compare November 2, 2018 15:30
@Duhemm Duhemm merged commit b8a7e85 into scala:master Nov 2, 2018
@Duhemm Duhemm deleted the topic/ide-modules branch November 2, 2018 16:58
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.

2 participants