| commit | 2f2bccb801cb9331bf839546798d0769f3e32f47 | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <stephan.herrmann@berlin.de> | Sun May 24 12:05:43 2015 +0200 |
| committer | Stephan Herrmann <stephan.herrmann@berlin.de> | Sun May 24 12:05:43 2015 +0200 |
| tree | df4d210a5c21682c3e77c31886adb025a17c69fa | |
| parent | 65fac60accc18847f56a14837d8e41fedf5885e4 [diff] |
Adapt to change in pde.ui: plugin icon gif->png (1 more test)