diff -r 000000000000 -r 0bba81dde1bc tex/images/historywindow.png
Binary file tex/images/historywindow.png has changed