# GIMP gimp-magnify-tool options


# end of gimp-magnify-tool options
