projects / idea / community.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 33054d6) | patch
show 'Required Plugins' in Settings
authornik <Nikolay.Chashnikov@jetbrains.com>
Mon, 13 Jul 2015 08:53:02 +0000 (11:53 +0300)
committernik <Nikolay.Chashnikov@jetbrains.com>
Mon, 13 Jul 2015 08:53:02 +0000 (11:53 +0300)
commitd67acb4a6fbbc90574d185b0d5fbf07700ebd0b1
treef8294ec374d9aad309062ab64dac3c2741c7e4f3tree
parent33054d616cf8ddbca3c3696511758efe5c1a938fcommit | diff
show 'Required Plugins' in Settings
platform/platform-impl/src/com/intellij/externalDependencies/impl/ExternalDependenciesConfigurableProvider.java diff | blob | history
platform/util/resources/misc/registry.properties diff | blob | history
IntelliJ IDEA Community Edition and IntelliJ Platform.