On 7 March 2014 11:42, Petr Pisar <ppisar at redhat.com> wrote: > GIF is an old standard for icons used by a very small number of > desktop packages in Fedora. Also valid. The *two* applications in Fedora using gif icons are asymptote and imagej. Richard