tex/images/historywindow.png
changeset 772 e3f722759c7e
parent 586 dad3e4c36e7f