# GIMP gimp-eraser-tool options

(brush "Clipboard")
(dynamics "Dynamics Off")
(palette "Default")

# end of gimp-eraser-tool options
