IDEs Support (IntelliJ Platform) | JetBrains

mike qin

Total activity 3
Last activity January 08, 2017 03:43
Member since January 08, 2017 03:41
Following 0 users
Followed by 0 users
Votes 1
Subscriptions 1

mike qin commented, January 08, 2017 03:42
i've been thinking about this as well. Anyone who works on any sizeable project, where there's different repositories will have run into the problem of accidentally working in the wrong one. Thanks...
- 0 votes