| commit | 2276b5d20fef07efd2c2fa38a6c77f09741c5baf | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <stephan.herrmann@berlin.de> | Fri May 22 21:46:00 2015 +0200 |
| committer | Stephan Herrmann <stephan.herrmann@berlin.de> | Fri May 22 21:48:05 2015 +0200 |
| tree | d999c778a735bac50bcab72469253f23b4e6a72b | |
| parent | 1baf601640a466ef3dc78a2117922359e60bda61 [diff] |
Adapt to change in pde.ui: plugin icon gif->png (impl & tests)