Merge remote-tracking branch 'origin/master'
authorDmitry Trofimov <dmitry.trofimov@jetbrains.com>
Mon, 28 Jan 2013 12:10:28 +0000 (13:10 +0100)
committerDmitry Trofimov <dmitry.trofimov@jetbrains.com>
Mon, 28 Jan 2013 12:10:28 +0000 (13:10 +0100)
commitf062b2372d098be90927f39f761f338d17f72113
tree5a533f6ba933b8122b919a75060c65d26fe95662
parent2f5edfc648a0b7c2b80a4f4ef13f60dc2342cbb5
parentbc6a964e4242b0e516b090e4b1882dd10207421a
Merge remote-tracking branch 'origin/master'