Merge pull request #378 (https://github.com/JetBrains/intellij-community/pull/378)
authorRoman Shevchenko <roman.shevchenko@jetbrains.com>
Wed, 6 Apr 2016 16:48:08 +0000 (18:48 +0200)
committerRoman Shevchenko <roman.shevchenko@jetbrains.com>
Wed, 6 Apr 2016 16:48:08 +0000 (18:48 +0200)
commitb31f9760796cfae915ae03d623d94e07a6ac84a1
tree8b592940107931fe0673bf55cb61c51ee2738bc8
parent229560c2d692d6723d289ed488979063994b1406
parentfa213634c125d1d1ca1de32b926ea5533a482b2d
Merge pull request #378 (https://github.com/JetBrains/intellij-community/pull/378)