[Extension]
Name=Convert format
Comment=Save images in a different format
Authors=Pix Development Team
Copyright=Copyright © 2010-2020 The Free Software Foundation, Inc.
Version=@PIX_VERSION@
Category=List-Tool

[Loader]
Type=module
API=@PIX_API_VERSION@
Requires=list_tools