diff -r a8e9eae855f4 -r dad3e4c36e7f tex/images/historywindow.png
Binary file tex/images/historywindow.png has changed