Merge remote-tracking branch 'origin/master'
authorDmitry Trofimov <dmitry.trofimov@jetbrains.com>
Fri, 22 Aug 2014 14:47:54 +0000 (16:47 +0200)
committerDmitry Trofimov <dmitry.trofimov@jetbrains.com>
Fri, 22 Aug 2014 14:47:54 +0000 (16:47 +0200)
commitf345cd37db7adbd5a358a77fcb3ee7759027eee9
treef5716a0b8a9bfdadd93de0453ab1fda08739b3c1
parent948b2e3048dbe664bd67b102f61aaaa3b227bec5
parent4804f3963cb17f2f5594903e6db2c6e267a3737d
Merge remote-tracking branch 'origin/master'