repo 1.13.5
  1. 9d5bf60 Set correct name in PyDev and Eclipse project config by David Pursehouse · 11 years ago
  2. 078a8b2 Add PyDev project files to repo by Kis Gergely · 15 years ago