commit | c3d3a90f6b4ead083d63e28e6b9fcea93d675678 | [log] [tgz] |
---|---|---|
author | Tor Norbye <[email protected]> | Thu Sep 04 13:24:04 2014 -0700 |
committer | Tor Norbye <[email protected]> | Thu Sep 04 13:24:04 2014 -0700 |
tree | fc0dcd722b6d445468dbe7dad13b4c11781b1cbe | |
parent | 1aa2e09bdbd413eacb677e9fa4b50630530d0656 [diff] |
Snapshot idea/138.1980 from git://git.jetbrains.org/idea/community.git Change-Id: Ib567c9c152d770212a7a3db20fbf591c210920bd