Merge remote-tracking branch 'origin/master'
authorDmitry Trofimov <dmitry.trofimov@jetbrains.com>
Thu, 14 Nov 2013 15:01:25 +0000 (16:01 +0100)
committerDmitry Trofimov <dmitry.trofimov@jetbrains.com>
Thu, 14 Nov 2013 15:01:25 +0000 (16:01 +0100)
commit9741a1d2c7f11aadbbe3711e898881f477074512
treee683acd01153bfcb270e4d8626f091ad3efb385b
parent61be092500fb6f3274396bd23296cb1fd351416c
parent6dd1423335c066880dcf8f8ae5d18ad3dc97aeeb
Merge remote-tracking branch 'origin/master'