projects / idea / community.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 497aebe 27fc5c7)
Merge branch 'master' of plugins/typeMigration
authorRoman Shevchenko <roman.shevchenko@jetbrains.com>
Fri, 20 Jun 2014 10:25:22 +0000 (12:25 +0200)
committerRoman Shevchenko <roman.shevchenko@jetbrains.com>
Fri, 20 Jun 2014 10:25:22 +0000 (12:25 +0200)

Trivial merge
IntelliJ IDEA Community Edition and IntelliJ Platform.