projects / idea / community.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 89a61ee 82f187e)
Merge pull request #351 (https://github.com/JetBrains/intellij-community/pull/351)
authorRoman Shevchenko <roman.shevchenko@jetbrains.com>
Fri, 5 Feb 2016 12:08:20 +0000 (15:08 +0300)
committerRoman Shevchenko <roman.shevchenko@jetbrains.com>
Fri, 5 Feb 2016 12:08:20 +0000 (15:08 +0300)

Trivial merge
IntelliJ IDEA Community Edition and IntelliJ Platform.