tree eda7fde5565d08649c0f5952e957a5ff4b2070d5
parent d1129abbe4dc0ce9bbad9118a35a85dbebc8758f
author Tor Norbye <tnorbye@google.com> 1376600797 -0700
committer Tor Norbye <tnorbye@google.com> 1376600797 -0700

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

Change-Id: I2ede7fef748e781ed425346a4e03e721bf4d2610