diff -r 5378ed53ec92 -r beb875135811 tex/windows.png
Binary file tex/windows.png has changed