Merge branch 'master' of git.labs.intellij.net:idea/community
authorDmitry Trofimov <dmitry.trofimov@jetbrains.com>
Wed, 10 Sep 2014 13:08:47 +0000 (15:08 +0200)
committerDmitry Trofimov <dmitry.trofimov@jetbrains.com>
Wed, 10 Sep 2014 13:08:47 +0000 (15:08 +0200)
commitdf977d777db958d3fcac6ce18b7c454805df2316
treea832d23602231ae28b36ce527f840088bba86405
parent3c5dbca4c8a75190e7bc8d722c66eccf29bc3367
parent242d1993483e760ee3e15f86177c94b7bc33f821
Merge branch 'master' of git.labs.intellij.net:idea/community