# GIMP gimp-eraser-tool options

(brush "Circle (11)")

# end of gimp-eraser-tool options
