Merge branch 'master' of plugins/coverage
authorRoman Shevchenko <roman.shevchenko@jetbrains.com>
Fri, 20 Jun 2014 10:16:39 +0000 (12:16 +0200)
committerRoman Shevchenko <roman.shevchenko@jetbrains.com>
Fri, 20 Jun 2014 10:16:39 +0000 (12:16 +0200)
commit414b600caff09b732073105ac3bc05584bf632f4
treefb7964aa886d843878e56de2b3fa1a25ea69de66
parent114e754502352c70a0b3b0b87f7e80707043a97c
parentc7b6dafa3c180c06cdcff228cf189c7a3f2000ec
Merge branch 'master' of plugins/coverage