Home
IDEs Support (IntelliJ Platform) | JetBrains
Contact Support
Community
English (United States)
简体中文
Sign in
Dmitry Zvorygin
Total activity
4
Last activity
August 04, 2017 20:30
Member since
August 04, 2017 19:03
Following
0 users
Followed by
0 users
Votes
0
Subscriptions
1
Activity overview
Posts (1)
Comments (2)
Sort by recent activity
Recent activity
Votes
Created
August 04, 2017 19:29
I mentioned link to history of that sources in my original post, but seems there were mostly minor code cleanup during last year, and this plugin still doesn't work as expected in 2017.1 and 2017.2
Community
IntelliJ IDEA Users
Settings Repository plugin seems abandoned.
0 votes
Created
August 04, 2017 19:18
Thanks for quick reply, I saw that, but that basically doesn't work like it's written in that article.
Community
IntelliJ IDEA Users
Settings Repository plugin seems abandoned.
0 votes