tree 44e1f6eb4864a45033f865b74fe783e3d784dd6a
author Jean-Baptiste Queru <jbq@google.com> 1357672280 -0800
committer Jean-Baptiste Queru <jbq@google.com> 1357672280 -0800

Snapshot of commit d5ec1d5018ed24f1b4f32b1d09df6dbd7e2fc425

from branch master of git://git.jetbrains.org/idea/community.git