Merge remote-tracking branch 'origin/master'
authorDmitry Trofimov <dmitry.trofimov@jetbrains.com>
Thu, 15 May 2014 22:04:05 +0000 (00:04 +0200)
committerDmitry Trofimov <dmitry.trofimov@jetbrains.com>
Thu, 15 May 2014 22:04:05 +0000 (00:04 +0200)
commite25eff27baf77cba25230e692de56331e11503e1
treeb6f2529d2ddef5e38c71033ad2abd5b289797de7
parent3974fddd8b4796c3fd483baac1874b841e10ecb8
parentdb0de1002eff88c203d00ed5665942bf3ab2bb10
Merge remote-tracking branch 'origin/master'