tree 0513ddb7224164365b48417543391a9a1c528894
parent 831d7cf61308db5c1f5be33b5b23ae3d2a43fb29
author Tor Norbye <tnorbye@google.com> 1418086382 -0800
committer Tor Norbye <tnorbye@google.com> 1418086382 -0800

Snapshot idea/139.658 from git://git.jetbrains.org/idea/community.git

Change-Id: Ic55721d7e287b52cad4498548172086ff524b0f1