1. 2276b5d Adapt to change in pde.ui: plugin icon gif->png (impl & tests) by Stephan Herrmann · 9 years ago
  2. 0166441 initial commit in accordance with CQ 3784 by Stephan Herrmann · 14 years ago