diff options
author | Lars Vogel | 2020-05-22 13:48:16 +0000 |
---|---|---|
committer | Alexander Kurtakov | 2020-06-11 18:08:15 +0000 |
commit | c094c33c077db74c27fe0256912225f80145ae09 (patch) | |
tree | 7acf408dfd27cd610ba4ef28b9abd90cecc71042 | |
parent | 977963015867b23adc33b9ee8b70057242ddc5f8 (diff) | |
download | eclipse.platform.ua-c094c33c077db74c27fe0256912225f80145ae09.tar.gz eclipse.platform.ua-c094c33c077db74c27fe0256912225f80145ae09.tar.xz eclipse.platform.ua-c094c33c077db74c27fe0256912225f80145ae09.zip |
Bug 550832 - Remove gif which we left during the move to png filesI20200611-1800
Removes the help.ui gif which has been replaced with png years ago.
Change-Id: I053d4efd608beed3c0248345b073684668170477
Signed-off-by: Lars Vogel <Lars.Vogel@vogella.com>
-rw-r--r-- | org.eclipse.help.ui/icons/view16/help_view.gif | bin | 379 -> 0 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/org.eclipse.help.ui/icons/view16/help_view.gif b/org.eclipse.help.ui/icons/view16/help_view.gif Binary files differdeleted file mode 100644 index bb0063380..000000000 --- a/org.eclipse.help.ui/icons/view16/help_view.gif +++ /dev/null |