1. 1aa2e09 Snapshot idea/138.1696 from git://git.jetbrains.org/idea/community.git by Tor Norbye · 11 years ago
  2. 2e5965e Snapshot idea/138.1283 from git://git.jetbrains.org/idea/community.git by Tor Norbye · 11 years ago
  3. 3a2425a5 Snapshot fb3d71c562a0c9a822e3cd0473c641d8449e7acd from idea/132.839 of git://git.jetbrains.org/idea/community.git by Tor Norbye · 11 years ago