projects / idea / community.git / commit
| author | Roman Shevchenko <roman.shevchenko@jetbrains.com> | |
| Tue, 16 Dec 2014 10:07:54 +0000 (11:07 +0100) | ||
| committer | Roman Shevchenko <roman.shevchenko@jetbrains.com> | |
| Tue, 16 Dec 2014 10:07:54 +0000 (11:07 +0100) | ||
| commit | 2238ade915e8b269b986608d8ebdfe67b2c5f0ae | |
| tree | e091c2ba7e4fe8b228d1173906371eb54f619647 | tree |
| parent | 33e3a4731eadb19c3ab0a517e9f2f05d7efb0520 | commit | diff |
| parent | c9fcc6d91ee2ba4961b7281d93a57c1f23b833a9 | commit | diff |
| platform/platform-impl/src/com/intellij/ide/plugins/InstalledPluginsManagerMain.java | diff1 | | diff2 | | blob | history |