IDEA-133305 (the option used in connection to update server and main plugin repository)
authorRoman Shevchenko <roman.shevchenko@jetbrains.com>
Tue, 16 Dec 2014 10:00:27 +0000 (11:00 +0100)
committerRoman Shevchenko <roman.shevchenko@jetbrains.com>
Tue, 16 Dec 2014 10:00:27 +0000 (11:00 +0100)
commit33e3a4731eadb19c3ab0a517e9f2f05d7efb0520
tree8675233a4a434c079c32133eb009185169827781
parent7ff60f06ba12b2162ff8f360edbebd24ea9362fe
IDEA-133305 (the option used in connection to update server and main plugin repository)
platform/platform-impl/src/com/intellij/ide/plugins/RepositoryHelper.java
platform/platform-impl/src/com/intellij/openapi/updateSettings/impl/PluginDownloader.java
platform/platform-impl/src/com/intellij/openapi/updateSettings/impl/UpdateChecker.java
platform/platform-impl/src/com/intellij/openapi/updateSettings/impl/UpdateInfoDialog.java
platform/platform-resources-en/src/messages/IdeBundle.properties