diff options
author | Lars Vogel | 2020-06-12 06:37:39 +0000 |
---|---|---|
committer | Lars Vogel | 2020-06-12 08:23:09 +0000 |
commit | 9f4636a908b8d4b6b82f1681125faa3ed6b32e55 (patch) | |
tree | c99557de188b1e31760cf992674521b2de9f1a83 /org.eclipse.debug.examples.core | |
parent | cc1977f7a7fb462f2f4d8c9708201e5f4625ee50 (diff) | |
download | eclipse.platform.debug-9f4636a908b8d4b6b82f1681125faa3ed6b32e55.tar.gz eclipse.platform.debug-9f4636a908b8d4b6b82f1681125faa3ed6b32e55.tar.xz eclipse.platform.debug-9f4636a908b8d4b6b82f1681125faa3ed6b32e55.zip |
[Bug 550832] Remove gif which we left during the move to png files
Change-Id: I33f6ffedc639d62fb14b12fc3929e63ee39b81cc
Signed-off-by: Lars Vogel <Lars.Vogel@vogella.com>
Diffstat (limited to 'org.eclipse.debug.examples.core')
0 files changed, 0 insertions, 0 deletions