1. 814f829 Merge idea133 into master by Tor Norbye · 11 years ago
  2. c1ace1f Snapshot aea001abfc1b38fec3a821bcd5174cc77dc75787 from master branch of git://git.jetbrains.org/idea/community.git by Tor Norbye · 12 years ago
  3. 2bd2b7c Snapshot ee98b298267d0e09d2cd2f0731b6480a56dd48e7 from master branch of git://git.jetbrains.org/idea/community.git by Jean-Baptiste Queru · 12 years ago