# GIMP gimp-eraser-tool options
(brush "2. Hardness 050")
(dynamics "Dynamics Off")
(palette "Color History")
(brush-size 13)
(brush-hardness 0.5)
# end of gimp-eraser-tool options