Merge remote-tracking branch 'origin/master'
authorDmitry Trofimov <dmitry.trofimov@jetbrains.com>
Tue, 11 Feb 2014 17:56:49 +0000 (18:56 +0100)
committerDmitry Trofimov <dmitry.trofimov@jetbrains.com>
Tue, 11 Feb 2014 17:56:49 +0000 (18:56 +0100)
commit42465b079a5ed05dda9a1c07cc0540a612379750
treee3c40f1c34130b881bfce9149361147f69529687
parentdd3bdee4436fbca48473f4d4576a375bad23ef8a
parent9278320b159b0bdee392ceae472a5da6f55dbd77
Merge remote-tracking branch 'origin/master'