David Ponce b9d6735c82 Reduce the size of images.		2006-05-31 11:02:24 +00:00
..
close.png
close.xpm
empty.png
empty.xpm
end-guide.png
end-guide.xpm
guide.png
guide.xpm
handle.png
handle.xpm
leaf.png
leaf.xpm
no-guide.png
no-guide.xpm
no-handle.png
no-handle.xpm
open.png
open.xpm