tex/images/historywindow.png
changeset 605 12e4596e7bb7
parent 586 dad3e4c36e7f