tree 42a8c6713346890abcd7fec07df68db6f7b2bddf
parent 5593dad9eca33b1946d8ccb99bd4aad7227bee6f
author Markus Knauer <mknauer@eclipsesource.com> 1391343757 +0100
committer Markus Knauer <mknauer@eclipsesource.com> 1391357270 +0100

Remove .gif icons from all packages and use .png instead

- remove the 16, 32, 48 pixel gif files
- update build.properties, plugin.xml, and synchronise .product files


Change-Id: Iad04732de64124535470b825b20066d8a057263a