tree f2411e8db298161f275f75fad6447753036cb0f1
parent ccdbf82612f185a7eefffe19ee96989276a2b7eb
author Markus Keller <markus_keller@ch.ibm.com> 1429295569 +0200
committer Markus Keller <markus_keller@ch.ibm.com> 1429295569 +0200

Bug 426025: [Graphics] Switch JDT UI to use png file instead of .gif

updated original icons