Merge remote-tracking branch 'origin/master'
authorDmitry Trofimov <dmitry.trofimov@jetbrains.com>
Wed, 16 Oct 2013 12:05:14 +0000 (14:05 +0200)
committerDmitry Trofimov <dmitry.trofimov@jetbrains.com>
Wed, 16 Oct 2013 12:05:14 +0000 (14:05 +0200)
commitefe5d1126ad20415df53c7492fbd21a21d8cc1ad
treea805aae46673896f33be9315246cbef24e479bb1
parent1a07e854404f20b46b3ea719418b8f99d8692ad7
parent07f7df7012c11f849e3000c8502672d57b3ecafe
Merge remote-tracking branch 'origin/master'