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