diff -r 000000000000 -r 12e4596e7bb7 tex/images/historywindow.png
Binary file tex/images/historywindow.png has changed