diff -r 000000000000 -r 09edde7ae30e tex/windows.png Binary file tex/windows.png has changed