1. 2276b5d Adapt to change in pde.ui: plugin icon gif->png (impl & tests) by Stephan Herrmann · 8 years ago
  2. 672a4e5 API consolidation: - nothing public in this plugin by Stephan Herrmann · 12 years ago
  3. 241a573 More API cleanup by Stephan Herrmann · 12 years ago
  4. 0166441 initial commit in accordance with CQ 3784 by Stephan Herrmann · 13 years ago