images/buffer-export_ps.png \
images/buffer-export_text.png \
images/buffer-new.png \
images/buffer-reload.png \
images/buffer-update.png \
images/buffer-update_dvi.png \
images/buffer-export_ps.png \
images/buffer-export_text.png \
images/buffer-new.png \
images/buffer-reload.png \
images/buffer-update.png \
images/buffer-update_dvi.png \